| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2008 | {Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library | eprint | online |
| 2 | 2006 | Computationally Sound Secrecy Proofs by Mechanized Flow Analysis | eprint | online |
| 3 | 2005 | Universally Composable Time-Stamping Schemes with Audit | eprint | online |
| 4 | 2000 | Accountable Certificate Management using Undeniable Attestations | eprint | online |
| 5 | 1998 | Time-Stamping with Binary Linking Schemes | crypto | 486-501 |
Coauthors of Peeter Laud |