Follow
Kevin Milner
Kevin Milner
Quantinuum
Verified email at quantinuum.com
Title
Cited by
Cited by
Year
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
1822018
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
452019
Formal verification of the WireGuard protocol
JA Donenfeld, K Milner
Technical Report, Tech. Rep., 2017
362017
Quantum interactive proofs and the complexity of separability testing
G Gutoski, P Hayden, K Milner, MM Wilde
arXiv preprint arXiv:1308.5788, 2013
302013
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
292013
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
142017
Formal verification of the WireGuard protocol, 2017
JA Donenfeld, K Milner
URL https://www. wireguard. com/papers/wireguard-formal-verification. pdf …, 2018
112018
Detecting the misuse of secrets: foundations, protocols, and verification
K Milner
University of Oxford, 2018
62018
Quantum interactive proofs and the complexity of entanglement detection
K Milner
McGill University, 2014
22014
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
The system can't perform the operation now. Try again later.
Articles 1–12