Kevin Milner

According to our database, Kevin Milner authored at least 11 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of three.
• 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

2011

Metrics for heterogeneous scientific workflows: A case study of an earthquake science application.

Scott Callaghan, Philip Maechling, Patrick Small, Kevin Milner, Gideon Juve, Thomas H. Jordan, Ewa Deelman, Gaurang Mehta, Karan Vahi, Dan Gunter, Keith Beattie, Christopher X. Brooks

Int. J. High Perform. Comput. Appl., 2011

2010

Scaling up workflow-based applications.

Scott Callaghan, Ewa Deelman, Dan Gunter, Gideon Juve, Philip Maechling, Christopher X. Brooks, Karan Vahi, Kevin Milner, Robert Graves, Edward Field, David Okaya, Thomas H. Jordan

J. Comput. Syst. Sci., 2010

2008

Reducing Time-to-Solution Using Distributed High-Throughput Mega-Workflows - Experiences from SCEC CyberShake.

Scott Callaghan, Philip Maechling, Ewa Deelman, Karan Vahi, Gaurang Mehta, Gideon Juve, Kevin Milner, Robert Graves, Edward Field, David Okaya, Dan Gunter, Keith Beattie, Thomas H. Jordan

Proceedings of the Fourth International Conference on e-Science, 2008