Pairings in Trusted Computing. - Liqun Chen 002; Paul Morrissey; Nigel P. Smart (Pairing, 2008)

On Proofs of Security for DAA Schemes. - Liqun Chen 002; Paul Morrissey; Nigel P. Smart (ProvSec, 2008)

A Modular Security Analysis of the TLS Handshake Protocol. - Paul Morrissey; Nigel P. Smart; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2008)

Security Notions and Generic Constructions for Client Puzzles. - Liqun Chen 002; Paul Morrissey; Nigel P. Smart; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2009)

On practical cryptographic protocols and schemes. - Paul Morrissey (2009)

The TLS Handshake Protocol: A Modular Analysis. - Paul Morrissey; Nigel P. Smart; Bogdan Warinschi (J. Cryptol., 2010)