Pseudo-Random Number Generator Verification: A Case Study. - Felix Dörre; Vladimir Klebanov (VSTTE, 2015)

Practical Detection of Entropy Loss in Pseudo-Random Number Generators. - Felix Dörre; Vladimir Klebanov (CCS, 2016)

ConTra Corona: Contact Tracing against the Coronavirus by Bridging the Centralized - Decentralized Divide for Stronger Privacy. - Wasilij Beskorovajnov; Felix Dörre; Gunnar Hartung; Alexander Koch 001; Jörn Müller-Quade; Thorsten Strufe (IACR Cryptol. ePrint Arch., 2020)

Practically Efficient Private Set Intersection from Trusted Hardware with Side-Channels. - Felix Dörre; Jeremias Mechler; Jörn Müller-Quade (ASIACRYPT (4), 2023)

Secure Logging in between Theory and Practice: Security Analysis of the Implementation of Forward Secure Log Sealing in Journald. - Felix Dörre; Astrid Ottenhues (IACR Cryptol. ePrint Arch., 2023)

Hidden $ varDelta $-Fairness: A Novel Notion for Fair Secure Two-Party Computation. - Saskia Bayreuther; Robin Berger; Felix Dörre; Jeremias Mechler; Jörn Müller-Quade (ACISP (2), 2024)

SoK - Mechanisms Used in Practice for Verifiable Internet Voting. - Florian Moser; Michael Kirsten; Felix Dörre (E-Vote-ID (GI), 2024)

Hidden Δ-fairness: A Novel Notion for Fair Secure Two-Party Computation. - Saskia Bayreuther; Robin Berger; Felix Dörre; Jeremias Mechler; Jörn Müller-Quade (IACR Cryptol. ePrint Arch., 2024)

Two-Party Decision Tree Training from Updatable Order-Revealing Encryption. - Robin Berger; Felix Dörre; Alexander Koch 001 (IACR Cryptol. ePrint Arch., 2024)

Security Analysis of Forward Secure Log Sealing in Journald. - Felix Dörre; Astrid Ottenhues (ACNS (2), 2025)