Kevin Milner

According to our database, Kevin Milner authored at least 8 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

An efficient construction of Raz's two-source randomness extractor with improved parameters.

Cameron Foreman, Lewis Wooltorton, Kevin Milner, Florian J. Curchod

IACR Cryptol. ePrint Arch., 2025

2018

Detecting the misuse of secrets: foundations, protocols, and verification.

Kevin Milner

PhD thesis, 2018

On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.

Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.

Cas Cremers, Martin Dehnel-Wild, Kevin Milner

Proceedings of the Computer Security - ESORICS 2017, 2017

Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.

Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2015

Quantum Interactive Proofs and the Complexity of Separability Testing.

Gus Gutoski, Patrick M. Hayden, Kevin Milner, Mark M. Wilde

Theory Comput., 2015

2013

Quantum interactive proofs and the complexity of entanglement detection.

Kevin Milner, Gus Gutoski, Patrick M. Hayden, Mark M. Wilde

CoRR, 2013

Two-Message Quantum Interactive Proofs and the Quantum Separability Problem.

Patrick M. Hayden, Kevin Milner, Mark M. Wilde

Proceedings of the 28th Conference on Computational Complexity, 2013