Publications


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
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
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
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
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
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