Publications
Moser, F.; Kirsten, M.; Dörre, F.
SoK: Mechanisms Used in Practice for Verifiable Internet Voting
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Gesellschaft für Informatik (GI)
SoK: Mechanisms Used in Practice for Verifiable Internet Voting
2024. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Gesellschaft für Informatik (GI)
Bayreuther, S.; Berger, R.; Dörre, F.; Mechler, J.; Müller-Quade, J.
HiddenΔ-Fairness: A Novel Notion for Fair Secure Two-Party Computation
2024. Information Security and Privacy. Ed.: T. Zhu. Pt. 2, 330–349, Springer Nature Singapore. doi:10.1007/978-981-97-5028-3_17
HiddenΔ-Fairness: A Novel Notion for Fair Secure Two-Party Computation
2024. Information Security and Privacy. Ed.: T. Zhu. Pt. 2, 330–349, Springer Nature Singapore. doi:10.1007/978-981-97-5028-3_17
Bayreuther, S.; Berger, R.; Dörre, F.; Mechler, J.; Müller-Quade, J.
Hidden ∆-fairness: A Novel Notion for Fair Secure: Two-Party Computation
2024. 36. Kryptotag, 2 S., Gesellschaft für Informatik (GI). doi:10.18420/cdm-2024-36-32
Hidden ∆-fairness: A Novel Notion for Fair Secure: Two-Party Computation
2024. 36. Kryptotag, 2 S., Gesellschaft für Informatik (GI). doi:10.18420/cdm-2024-36-32
Berger, R.; Dörre, F.; Koch, A.
Two-Party Decision Tree Training from Updatable Order-Revealing Encryption
2024. Applied Cryptography and Network Security : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings. Part I. Ed.: C. Pöpper, 288–317, Springer International Publishing. doi:10.1007/978-3-031-54770-6_12
Two-Party Decision Tree Training from Updatable Order-Revealing Encryption
2024. Applied Cryptography and Network Security : 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings. Part I. Ed.: C. Pöpper, 288–317, Springer International Publishing. doi:10.1007/978-3-031-54770-6_12
Bayreuther, S.; Berger, R.; Dörre, F.; Mechler, J.; Müller-Quade, J.
Hidden
2024. Cryptology ePrint Archive
Hidden
2024. Cryptology ePrint Archive
Dörre, F.; Mechler, J.; Müller-Quade, J.
Practically Efficient Private Set Intersection From Trusted Hardware with Side-Channels
2023. Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Springer-Verlag. doi:10.1007/978-981-99-8730-6_9
Practically Efficient Private Set Intersection From Trusted Hardware with Side-Channels
2023. Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Springer-Verlag. doi:10.1007/978-981-99-8730-6_9
Beskorovajnov, W.; Dörre, F.; Hartung, G.; Koch, A.; Müller-Quade, J.; Strufe, T.
ConTra Corona: Contact Tracing against the Coronavirus by Bridging the Centralized–Decentralized Divide for Stronger Privacy
2021. Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II. Ed.: M. Tibouchi, 665–695, Springer-Verlag. doi:10.1007/978-3-030-92075-3_23
ConTra Corona: Contact Tracing against the Coronavirus by Bridging the Centralized–Decentralized Divide for Stronger Privacy
2021. Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II. Ed.: M. Tibouchi, 665–695, Springer-Verlag. doi:10.1007/978-3-030-92075-3_23
Beskorovajnov, W.; Dörre, F.; Hartung, G.; Koch, A.; Müller-Quade, J.; Strufe, T.
ConTra Corona : Contact Tracing against the Coronavirus by Bridging the Centralized–Decentralized Divide for Stronger Privacy
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139714
ConTra Corona : Contact Tracing against the Coronavirus by Bridging the Centralized–Decentralized Divide for Stronger Privacy
2021. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139714
Dörre, F.; Klebanov, V.
Practical Detection of Entropy Loss in Pseudo-Random Number Generators
2016. CCS ’16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 678–689, Association for Computing Machinery (ACM). doi:10.1145/2976749.2978369
Practical Detection of Entropy Loss in Pseudo-Random Number Generators
2016. CCS ’16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 678–689, Association for Computing Machinery (ACM). doi:10.1145/2976749.2978369
Dörre, F.; Klebanov, V.
Pseudo-Random Number Generator Verification: A Case Study
2016. Proceedings, Verified Software: Theories, Tools, and Experiments (VSTTE) : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Hrsg.: A. Gurfinkel, 61–72, Springer International Publishing. doi:10.1007/978-3-319-29613-5_4
Pseudo-Random Number Generator Verification: A Case Study
2016. Proceedings, Verified Software: Theories, Tools, and Experiments (VSTTE) : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Hrsg.: A. Gurfinkel, 61–72, Springer International Publishing. doi:10.1007/978-3-319-29613-5_4
Dörre, F.; Klebanov, V.
Practical Detection of Entropy Loss in Pseudo-Random Number Generators : Extended Version
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000058113
Practical Detection of Entropy Loss in Pseudo-Random Number Generators : Extended Version
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000058113