| 2012 | CCS | Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. | Jos Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella-Bguelin |
| 2011 | SP | Cache Games - Bringing Access-Based Cache Attacks on AES to Practice. | David Gullasch, Endre Bangerter, Stephan Krenn |
| 2010 | ESORICS | A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. | Jos Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider |
| 2010 | TCC | Efficiency Limitations for Σ-Protocols for Group Homomorphisms. | Endre Bangerter, Jan Camenisch, Stephan Krenn |
| 2008 | ASIACRYPT | Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems. | Andy Rupp, Gregor Leander, Endre Bangerter, Alexander W. Dent, Ahmad-Reza Sadeghi |
| 2005 | PKC | Efficient Proofs of Knowledge of Discrete Logarithms and Representations in Groups with Hidden Order. | Endre Bangerter, Jan Camenisch, Ueli M. Maurer |