David Derler

David Derler

Cryptographer | Engineer | Leader

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
2024 David Derler, Kai Samelin, Daniel Slamanig - "Bringing Order to Chaos: The Case of Collision-Resistant Chameleon-Hashes" - Journal of Cryptology (Conference version published at PKC'20).
2021 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 (Conference version published at Eurocrypt'18).
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.