David Bernhard

According to our database, David Bernhard authored at least 19 papers between 2012 and 2018.

Collaborative distances:

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

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

Adaptive proofs of knowledge in the random oracle model.

David Bernhard, Marc Fischlin, Bogdan Warinschi

IET Inf. Secur., 2016

Cryptographic Voting - A Gentle Introduction.

David Bernhard, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

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

David Bernhard, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

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

David Bernhard, Oksana Kulyk, Melanie Volkamer

IACR Cryptol. ePrint Arch., 2016

Adapting Helios for provable ballot privacy.

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

IACR Cryptol. ePrint Arch., 2016

2015

On Limitations of the Fiat­ - Shamir Transformation.

David Bernhard, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

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

David Bernhard, Marc Fischlin, 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

2014

Zero-knowledge proofs in theory and practice.

David Bernhard

PhD thesis, 2014

2013

Anonymous attestation with user-controlled linkability.

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

Int. J. Inf. Sec., 2013

Ballot secrecy and ballot independence coincide.

Ben Smyth, David Bernhard

IACR Cryptol. ePrint Arch., 2013

Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs.

David Bernhard, Stephan Neumann, Melanie Volkamer

IACR Cryptol. ePrint Arch., 2013

2012

On Necessary and Sufficient Conditions for Private Ballot Submission.

David Bernhard, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2012

Efficient Signatures of Knowledge and DAA in the Standard Model.

David Bernhard, Georg Fuchsbauer, Essam Ghadafi

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