@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",
}