Christopher Dilloway: Publications

[1]	Chaining Secure Channels Chris Dilloway 2008. Details \| BibTeX \| Download (pdf)

[2]	Chaining Secure Channels (Technical Report) Christopher Dilloway Technical Report, 2008. Details \| BibTeX \| Download (pdf)

[3]	Specifying Secure Transport Layers Christopher Dilloway, Gavin Lowe In 21st IEEE Computer Security Foundations Symposium (CSF 21) 2008. Details \| BibTeX \| Download (pdf)

[4]	On the Specification of Secure Channels Christopher Dilloway, Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07) 2007. Details \| BibTeX \| Download (pdf)