| 2017 | ACNS | Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model). | David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi |
| 2016 | PKC | On the Hardness of Proving CCA-Security of Signed ElGamal. | David Bernhard, Marc Fischlin, Bogdan Warinschi |
| 2015 | PKC | Adaptive Proofs of Knowledge in the Random Oracle Model. | David Bernhard, Marc Fischlin, Bogdan Warinschi |
| 2015 | SP | SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. | David Bernhard, Vronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi |
| 2013 | ACNS | Efficient Signatures of Knowledge and DAA in the Standard Model. | David Bernhard, Georg Fuchsbauer, Essam Ghadafi |
| 2013 | ESORICS | Ballot Secrecy and Ballot Independence Coincide. | Ben Smyth, David Bernhard |
| 2012 | ASIACRYPT | How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. | David Bernhard, Olivier Pereira, Bogdan Warinschi |
| 2012 | CCS | Measuring vote privacy, revisited. | David Bernhard, Vronique Cortier, Olivier Pereira, Bogdan Warinschi |
| 2011 | ESORICS | Adapting Helios for Provable Ballot Privacy. | David Bernhard, Vronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi |