Kevin Milner
Kevin Milner
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
572018
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
212019
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
182013
Formal verification of the WireGuard protocol
JA Donenfeld, K Milner
Technical report, July, 2017
162017
Quantum interactive proofs and the complexity of separability testing
G Gutoski, P Hayden, K Milner, MM Wilde
arXiv preprint arXiv:1308.5788, 2013
82013
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
72017
Formal verification of the WireGuard protocol, 2017
JA Donenfeld, K Milner
URL https://www. wireguard. com/papers/wireguard-formal-verification. pdf …, 2018
62018
Detecting the misuse of secrets: foundations, protocols, and verification
K Milner
University of Oxford, 2018
32018
On Ends-to-Ends Encryption
K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner
12017
Quantum interactive proofs and the complexity of entanglement detection
K Milner, G Gutoski, P Hayden, MM Wilde
McGill University Libraries, 2014
12014
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 2013, T27. 005, 2013
2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12