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