Paul Morrissey

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
The TLS Handshake Protocol: A Modular Analysis. J. Cryptol. 23 (2) (2010)
Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
Security Notions and Generic Constructions for Client Puzzles. IACR Cryptol. ePrint Arch. 2009 (2009)
Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
Security Notions and Generic Constructions for Client Puzzles. ASIACRYPT (2009)
Liqun Chen, Paul Morrissey, Nigel P. Smart
On Proofs of Security for DAA Schemes. ProvSec (2008)
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
A Modular Security Analysis of the TLS Handshake Protocol. IACR Cryptol. ePrint Arch. 2008 (2008)
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
A Modular Security Analysis of the TLS Handshake Protocol. ASIACRYPT (2008)
Liqun Chen, Paul Morrissey, Nigel P. Smart
Pairings in Trusted Computing. Pairing (2008)