David Derler

David Derler

Engineering Manager

DFINITY

Short Bio

I am a cryptographer working as an Engineering Manager at DFINITY. Previously, I was a researcher in the Cryptology and Cryptographic Security group at IAIK, Graz University of Technology. My main research interests are in the field of provably secure public key cryptography, with a focus on cryptographically addressing security and privacy issues in modern computing scenarios (e.g., cloud computing or Blockchains). This also includes work on primitives, conjectured to remain secure in the advent of sufficiently powerful quantum computers. I hold a PhD degree (Dr.techn.) in computer science from Graz University of Technology, which I have obtained in 2017 with distinction.

I am a co-designer of the Picnic family of post-quantum digital signature schemes. Picnic is a third-round candidate in the post-quantum crypto project by NIST. For more information, news, and updates refer to this or to this page.

Publications

Below you can find a list of publications including supplementary links.

  Full Version    Publisher Version    Slides    Web    Bibtex    Additional Material

Conference Papers
2021 David Derler, Sebastian Ramacher, Daniel Slamanig, Christoph Striecks - "Fine-Grained Forward Secrecy: Allow-List/Deny-List Encryption and Applications" - FC 2021.
2020 David Derler, Stephan Krenn, Kai Samelin, Daniel Slamanig - "Fully Collision-Resistant Chameleon-Hashes from Simpler and Post-Quantum Assumptions" - SCN 2020.
2020 David Derler, Kai Samelin, Daniel Slamanig - "Bringing Order to Chaos: The Case of Collision-Resistant Chameleon-Hashes" - PKC 2020 (Invited to Journal of Cryptology).
2019 David Derler, Kai Samelin, Daniel Slamanig, Christoph Striecks - "Fine-Grained and Controlled Rewriting in Blockchains: Chameleon-Hashing Gone Attribute-Based" - NDSS 2019.
2018 David Derler, Sebastian Ramacher, Daniel Slamanig - "Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation" - ProvSec 2018.
2018 David Derler, Daniel Slamanig - "Highly-Efficient Fully-Anonymous Dynamic Group Signatures" - ASIACCS 2018.
2018 David Derler, Sebastian Ramacher, Daniel Slamanig - "Post-Quantum Zero-Knowledge Proofs for Accumulators with Applications to Ring Signatures from Symmetric-Key Primitives" - PQCrypto 2018.
2018 David Derler, Tibor Jager, Daniel Slamanig, Christoph Striecks - "Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange" - EUROCRYPT 2018.
2018 David Derler, Stephan Krenn, Thomas Lorünser, Sebastian Ramacher, Daniel Slamanig, Christoph Striecks - "Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications" - PKC 2018.
2018 David Derler, Sebastian Ramacher, Daniel Slamanig - "Short Double- and N-Times-Authentication-Preventing Signatures from ECDSA and More" - EuroS&P 2018.
2017 Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi, Sebastian Ramacher, Christian Rechberger, Daniel Slamanig, Greg Zaverucha - "Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives" - CCS 2017.
2017 Michael Till Beck, Jan Camenisch, David Derler, Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig - "Practical Strongly Invisible and Strongly Accountable Sanitizable Signatures" - ACISP 2017.
2017 David Derler, Sebastian Ramacher, Daniel Slamanig - "Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation" - FC 2017.
2017 Jan Camenisch, David Derler, Stephan Krenn, Henrich C. Pöhls, Kai Samelin, Daniel Slamanig - "Chameleon-Hashes with Ephemeral Trapdoors and Applications to Invisible Sanitizable Signatures" - PKC 2017.
2016 David Derler, Stephan Krenn, Daniel Slamanig - "Signer-Anonymous Designated-Verifier Redactable Signatures for Cloud-Based Data Sharing" - CANS 2016.
2016 Olivier Blazy, David Derler, Daniel Slamanig, Raphael Spreitzer - "Non-Interactive Plaintext (In-)Equality Proofs and Group Signatures with Verifiable Controllable Linkability" - CT-RSA 2016.
2015 David Derler, Christian Hanser, Daniel Slamanig - "Revisiting Cryptographic Accumulators, Additional Properties and Relations to other Primitives" - CT-RSA 2015.
2015 David Derler, Daniel Slamanig - "Rethinking Privacy for Extended Sanitizable Signatures and a Black-Box Construction of Strongly Private Schemes" - ProvSec 2015.
2015 David Derler, Henrich Pöhls, Kai Samelin, Daniel Slamanig - "A General Framework for Redactable Signatures and New Constructions" - ICISC 2015.
2015 David Derler, Christian Hanser, Daniel Slamanig - "A New Approach To Efficient Revocable Attribute-Based Anonymous Credentials" - IMACC 2015.
2015 David Derler, Christian Hanser, Henrich C. Pöhls, Daniel Slamanig - "Towards Authenticity and Privacy Preserving Accountable Workflows" - Privacy and Identity Management 2015.
2014 David Derler, Christian Hanser, Daniel Slamanig - "Privacy-Enhancing Proxy Signatures from Non-Interactive Anonymous Credentials" - DBSec 2014.
2014 David Derler, Christian Hanser, Daniel Slamanig - "Blank Digital Signatures: Optimization and Practical Experiences" - Privacy and Identity Management 2014.
2014 David Derler, Christof Rath, Moritz Horsch, Tobias Wich - "Design und Implementierung eines Localhost Signaturgateways" - D-A-CH Security 2014.
2013 Thomas Zefferer, Peter Teufl, David Derler, Klaus Potzmader, Alexander Oprisnik, Hubert Gasparitz, Andrea Höller - "Power Consumption-based Application Classification and Malware Detection on Android Using Machine-Learning Techniques" - Future Computing 2013.
2011 David Derler, Klaus Potzmader, Johannes Winter, Kurt Dietrich - "Anonymous Ticketing for NFC-Enabled Mobile Phones" - INTRUST 2011.
Journal Papers
2020 David Derler, Kai Gellert, Tibor Jager, Daniel Slamanig, Christoph Striecks - "Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange" - Journal of Cryptology.
2019 David Derler, Daniel Slamanig - "Key-Homomorphic Signatures: Definitions and Applications to Multiparty Signatures and Non-Interactive Zero-Knowledge" - Designs, Codes and Cryptography.
2018 David Derler, Daniel Slamanig - "Practical Witness Encryption for Algebraic Languages Or How to Encrypt Under Groth-Sahai Proofs" - Designs, Codes and Cryptography.
2014 Thomas Zefferer, Peter Teufl, David Derler, Klaus Potzmader, Alexander Oprisnik, Hubert Gasparitz, Andrea Höller - "Towards Secure Mobile Computing: Employing Power-Consumption Information to Detect Malware on Mobile Devices" - International Journal on Advances in Software 7(1&2), 2014.
Articles
2014 Moritz Horsch, David Derler, Christof Rath, Hans-Martin Haase, Tobias Wich - "Open Source für europäische Signaturen: Vertrauenswürdige Basis für die elektronische Signatur" - Datenschutz und Datensicherheit 38(4), 2014.
Talks (Invited & Symposia w/o Proceedings)
2018 David Derler - "Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange" - RWC 2018, Zurich, Switzerland. January 12, 2018.
2017 David Derler - "Key-Homomorphic Signatures and Applications to Simulation Sound Extractable NIZK" - Paderborn University, Paderborn, Germany. March 22, 2017.
Theses
2017 David Derler - "A Modular Framework for Privacy-Enhancing Signatures: Generalizations, Extensions, and Novel Building Blocks" - PhD Thesis, Graz University of Technology, 2017.
2013 David Derler - "On the Optimization of two Recent Proxy-Type Digital Signature Schemes and their Efficient Implementation in Java" - Master's Thesis, Graz University of Technology, 2013.
Selected Project Deliverables
2016 Johannes Buchmann, Denise Demirel, David Derler, Lucas Schabhüser, Daniel Slamanig - "Overview of Verifiable Computing Techniques Providing Private and Public Verification" - PRISMACLOUD D5.8.
2015 Denise Demirel, David Derler, Christian Hanser, Henrich Pöhls, Daniel Slamanig, Giulia Traverso - "Overview of Functional and Malleable Signature Schemes" - PRISMACLOUD D4.4.