Kevin Milner

According to our database, Kevin Milner authored at least 10 papers between 2008 and 2019.

Collaborative distances:

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

2019

Secure authentication in the grid: A formal analysis of DNP3 SAv5.

Cas Cremers, Martin Dehnel-Wild, Kevin Milner

J. Comput. Secur., 2019

2018

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

Kevin Milner

PhD thesis, 2018

2017

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

Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan

IACR Cryptol. ePrint Arch., 2017

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

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

IACR Cryptol. ePrint Arch., 2017

2015

Quantum Interactive Proofs and the Complexity of Separability Testing.

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

Theory Comput., 2015

2014

Two-message quantum interactive proofs and the quantum separability problem.

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

Quantum Inf. Comput., 2014

2013

Quantum interactive proofs and the complexity of entanglement detection.

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

CoRR, 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