Title	Date
Formal Derivation of Security Protocols	2011-08-24
Privacy through Accountability	2015-04-23
Is there a science of security (and, if so, what might it look like)?	2012-01-22
Compositional Security for Higher-Order Systems	2013-11-01