Kevin Milner : Publications
-
[1]
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
-
[2]
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***