@inproceedings{DBLP:conf/csfw/MilnerCYR17,
  title = "Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications",
  author = "Kevin Milner and Cas Cremers and Jiangshan Yu and Mark Ryan",
  year = "2017",
  booktitle = "{IEEE} 30th Computer Security Foundations Symposium, {CSF} 2017, Santa Barbara, USA, 21-25 August, 2017",
  publisher = "{IEEE} Computer Society",
}
@inproceedings{dnp3-secure-authentication,
  title = "Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5 ***Best Paper Award***",
  author = "Cas Cremers and Martin Dehnel-Wild and Kevin Milner",
  year = "2017",
  booktitle = "Computer Security - {ESORICS} 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings",
  location = "Oslo",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
}