I'm interested in the security of computing infrastructure and the future of the internet. Lately I have been researching the next generation of public key infrastructure, including work on Certificate Transparency.
I did my undergraduate degree in Computing Science at the University of Alberta, and worked on many of the back-end administrative systems there as a programmer during my degree. After graduating, I went off to learn some more math and theory, undertaking an MSc in Quantum Information at McGill University.
Automatically Detecting the Misuse of Secrets: Foundations‚ Design Principles‚ and Applications
Kevin Milner‚ Cas Cremers‚ Jiangshan Yu and Mark Ryan
In IEEE 30th Computer Security Foundations Symposium‚ CSF 2017‚ Santa Barbara‚ USA‚ 21−25 August‚ 2017. IEEE Computer Society. 2017.
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ***Best Paper Award***
Cas Cremers‚ Martin Dehnel−Wild and Kevin Milner
In Computer Security − ESORICS 2017 − 22nd European Symposium on Research in Computer Security‚ Oslo‚ Norway‚ September 11−15‚ 2017‚ Proceedings. Springer. 2017.