David Bernhard

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 9

Top Venues

IACR Cryptol. ePrint Arch.

ACNS

IEEE Symposium on Security and Privacy

ARES

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi
Verifiability Analysis of CHVote. IACR Cryptol. ePrint Arch. 2018 (2018)
David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi
Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model). ACNS (2017)
David Bernhard, Oksana Kulyk, Melanie Volkamer
Security Proofs for Participation Privacy, Receipt-Freeness and Ballot Privacy for the Helios Voting Scheme. ARES (2017)
David Bernhard, Olivier Pereira, Bogdan Warinschi
How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Marc Fischlin, Bogdan Warinschi
On the Hardness of Proving CCA-Security of Signed ElGamal. Public Key Cryptography (1) (2016)
David Bernhard, Marc Fischlin, Bogdan Warinschi
Adaptive proofs of knowledge in the random oracle model. IET Inf. Secur. 10 (6) (2016)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for provable ballot privacy. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Bogdan Warinschi
Cryptographic Voting - A Gentle Introduction. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Oksana Kulyk, Melanie Volkamer
Security Proofs for Participation Privacy and Stronger Veri ability for Helios. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
A comprehensive analysis of game-based ballot privacy definitions. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. IEEE Symposium on Security and Privacy (2015)
David Bernhard, Bogdan Warinschi
On Limitations of the Fiat - Shamir Transformation. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Marc Fischlin, Bogdan Warinschi
On the Hardness of Proving CCA-security of Signed ElGamal. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Marc Fischlin, Bogdan Warinschi
Adaptive Proofs of Knowledge in the Random Oracle Model. Public Key Cryptography (2015)
David Bernhard, Marc Fischlin, Bogdan Warinschi
Adaptive Proofs of Knowledge in the Random Oracle Model. IACR Cryptol. ePrint Arch. 2015 (2015)
Ben Smyth, David Bernhard
Ballot secrecy and ballot independence coincide. IACR Cryptol. ePrint Arch. 2013 (2013)
Ben Smyth, David Bernhard
Ballot Secrecy and Ballot Independence Coincide. ESORICS (2013)
David Bernhard, Stephan Neumann, Melanie Volkamer
Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs. IACR Cryptol. ePrint Arch. 2013 (2013)
David Bernhard, Bogdan Warinschi
Cryptographic Voting - A Gentle Introduction. FOSAD (2013)
David Bernhard, Stephan Neumann, Melanie Volkamer
Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs. VoteID (2013)
David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
Anonymous attestation with user-controlled linkability. Int. J. Inf. Sec. 12 (3) (2013)
David Bernhard, Georg Fuchsbauer, Essam Ghadafi
Efficient Signatures of Knowledge and DAA in the Standard Model. ACNS (2013)
David Bernhard, Olivier Pereira, Bogdan Warinschi
How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. ASIACRYPT (2012)
David Bernhard, Georg Fuchsbauer, Essam Ghadafi
Efficient Signatures of Knowledge and DAA in the Standard Model. IACR Cryptol. ePrint Arch. 2012 (2012)
David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi
Measuring vote privacy, revisited. CCS (2012)
David Bernhard, Olivier Pereira, Bogdan Warinschi
On Necessary and Sufficient Conditions for Private Ballot Submission. IACR Cryptol. ePrint Arch. 2012 (2012)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for Provable Ballot Privacy. ESORICS (2011)
David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
Anonymous attestation with user-controlled linkability. IACR Cryptol. ePrint Arch. 2011 (2011)

David Bernhard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Bernhard