David Bernhard

According to our database, David Bernhard authored at least 20 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Multilingual Scraper of Privacy Policies and Terms of Service.

David Bernhard, Luka Nenadic, Stefan Bechtold, Karel Kubicek

Proceedings of the 2025 Symposium on Computer Science and Law, 2025

2018

Verifiability Analysis of CHVote.

David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2018

2017

Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model).

David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi

Proceedings of the Applied Cryptography and Network Security, 2017

Security Proofs for Participation Privacy, Receipt-Freeness and Ballot Privacy for the Helios Voting Scheme.

David Bernhard, Oksana Kulyk, Melanie Volkamer

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Security Proofs for Participation Privacy and Stronger Veri ability for Helios.

David Bernhard, Oksana Kulyk, Melanie Volkamer

IACR Cryptol. ePrint Arch., 2016

On the Hardness of Proving CCA-Security of Signed ElGamal.

David Bernhard, Marc Fischlin, Bogdan Warinschi

Proceedings of the Public-Key Cryptography - PKC 2016, 2016

2015

On Limitations of the Fiat­ - Shamir Transformation.

David Bernhard, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

A comprehensive analysis of game-based ballot privacy definitions.

David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions.

David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Adaptive Proofs of Knowledge in the Random Oracle Model.

David Bernhard, Marc Fischlin, Bogdan Warinschi

Proceedings of the Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30, 2015

2014

Zero-knowledge proofs in theory and practice.

David Bernhard

PhD thesis, 2014

2013

Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs.

David Bernhard, Stephan Neumann, Melanie Volkamer

Proceedings of the E-Voting and Identify - 4th International Conference, 2013

Cryptographic Voting - A Gentle Introduction.

David Bernhard, Bogdan Warinschi

Proceedings of the Foundations of Security Analysis and Design VII, 2013

Ballot Secrecy and Ballot Independence Coincide.

Ben Smyth, David Bernhard

Proceedings of the Computer Security - ESORICS 2013, 2013

Efficient Signatures of Knowledge and DAA in the Standard Model.

David Bernhard, Georg Fuchsbauer, Essam Ghadafi

Proceedings of the Applied Cryptography and Network Security, 2013

2012

On Necessary and Sufficient Conditions for Private Ballot Submission.

David Bernhard, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2012

Measuring vote privacy, revisited.

David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi

Proceedings of the ACM Conference on Computer and Communications Security, 2012

How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.

David Bernhard, Olivier Pereira, Bogdan Warinschi

Proceedings of the Advances in Cryptology - ASIACRYPT 2012, 2012

2011

Anonymous attestation with user-controlled linkability.

David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2011

Adapting Helios for Provable Ballot Privacy.

David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi

Proceedings of the Computer Security - ESORICS 2011, 2011