Kevin Milner
Interests
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.
Biography
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.
Selected Publications
-
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.
Details about Automatically Detecting the Misuse of Secrets: Foundations‚ Design Principles‚ and Applications | BibTeX data for Automatically Detecting the Misuse of Secrets: Foundations‚ Design Principles‚ and Applications
-
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.
Details about Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ***Best Paper Award*** | BibTeX data for Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ***Best Paper Award*** | Download MDW-ESORICS-public.pptx of Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ***Best Paper Award*** | Download esorics-extended-version.pdf of Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ***Best Paper Award***