Cited By
View all- Klinger AEhrmanntraut VMeyer UVilela JSchulmann HLi N(2024)Estimating the Runtime and Global Network Traffic of SMPC ProtocolsProceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy10.1145/3626232.3653258(7-18)Online publication date: 19-Jun-2024
- Frohn FGiesl J(2024)Integrating Loop Acceleration Into Bounded Model CheckingFormal Methods10.1007/978-3-031-71162-6_4(73-91)Online publication date: 11-Sep-2024
- Frohn FGiesl J(2024)Satisfiability Modulo Exponential Integer ArithmeticAutomated Reasoning10.1007/978-3-031-63498-7_21(344-365)Online publication date: 3-Jul-2024
- Show More Cited By