Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan. Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. In 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017. pages 203-216, IEEE, 2017. [doi]
Abstract is missing.