Detecting the misuse of secrets: foundations, protocols, and verification - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Kevin Milner. Detecting the misuse of secrets: foundations, protocols, and verification. PhD thesis, University of Oxford, UK, 2018. [doi]

The following publications are possibly variants of this publication:

Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and ApplicationsKevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan. csfw 2017: 203-216 [doi]

Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and ApplicationsKevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan. iacr, 2017:234, 2017. [doi]

runs on WebDSL