On ends-to-ends encryption: Asynchronous group messaging with strong security guarantees K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 182 | 2018 |
Secure authentication in the grid: A formal analysis of DNP3 SAv5 C Cremers, M Dehnel-Wild, K Milner Journal of Computer Security 27 (2), 203-232, 2019 | 45 | 2019 |
Formal verification of the WireGuard protocol JA Donenfeld, K Milner Technical Report, Tech. Rep., 2017 | 36 | 2017 |
Quantum interactive proofs and the complexity of separability testing G Gutoski, P Hayden, K Milner, MM Wilde arXiv preprint arXiv:1308.5788, 2013 | 30 | 2013 |
Two-message quantum interactive proofs and the quantum separability problem P Hayden, K Milner, MM Wilde 2013 IEEE Conference on Computational Complexity, 156-167, 2013 | 29 | 2013 |
Automatically detecting the misuse of secrets: Foundations, design principles, and applications K Milner, C Cremers, J Yu, M Ryan 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 203-216, 2017 | 14 | 2017 |
Formal verification of the WireGuard protocol, 2017 JA Donenfeld, K Milner URL https://www. wireguard. com/papers/wireguard-formal-verification. pdf …, 2018 | 11 | 2018 |
Detecting the misuse of secrets: foundations, protocols, and verification K Milner University of Oxford, 2018 | 6 | 2018 |
Quantum interactive proofs and the complexity of entanglement detection K Milner McGill University, 2014 | 2 | 2014 |
On Ends-to-Ends Encryption K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner | | 2017 |
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5*** Best Paper Award M Dehnel-Wild, K Milner | | 2017 |
How hard is it to decide if a quantum state is separable or entangled? M Wilde, P Hayden, K Milner APS March Meeting Abstracts 2013, T27. 005, 2013 | | 2013 |