| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | The TLS Handshake Protocol: A Modular Analysis | jofc | 187-223 |
| 2 | 2009 | Security Notions and Generic Constructions for Client Puzzles | asiacrypt | 505-523 |
| 3 | 2008 | A Modular Security Analysis of the TLS Handshake Protocol | asiacrypt | 55-73 |
| 4 | 2008 | A Modular Security Analysis of the TLS Handshake Protocol | eprint | online |
Coauthors of Paul Morrissey |