| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2012 | Commitments and Efficient Zero-Knowledge Proofs from Learning Parity with Noise | asiacrypt | 663-680 |
| 2 | 2011 | A Framework for Practical Universally Composable Zero-Knowledge Protocols | asiacrypt | 449-467 |
| 3 | 2010 | Efficiency Limitations for Σ-Protocols for Group Homomorphisms | tcc | 553-571 |
| 4 | 2010 | A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols | eprint | online |
| 5 | 2008 | Automatic Generation of Sound Zero-Knowledge Protocols | eprint | online |
Coauthors of Stephan Krenn |