Publications by Paul Morrissey
This is a list of all publications (co-)authored by Paul Morrissey that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.
- Paul Morrissey, Nigel Smart, Bogdan Warinschi, A Modular Security Analysis of the TLS Handshake Protocol. Advances in Cryptology - AsiaCrypt 2008, pp. 55–73. December 2008. No electronic version available.
- L. Chen, Paul Morrissey, Nigel Smart, On Proofs of Security for DAA Schemes. ProvSec 2008, pp. 167–175. October 2008. No electronic version available.
- L Chen, Paul Morrissey, Nigel Smart, Pairings in Trusted Computing.. Pairings 2008, pp. 1–17. September 2008. No electronic version available.