Automatically detecting the misuse of secrets: foundations, design principles, and applications - Milner, K; Cremers, C; Yu, J; Ryan, M (30th IEEE Computer Security Foundations Symposium, 2017)