Kevin Milner

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 7

Top Topics

Rights Management

Automatically Detecting

Formal Analysis

Quantum Computation

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Cas Cremers, Martin Dehnel-Wild, Kevin Milner
Secure authentication in the grid: A formal analysis of DNP3 SAv5. J. Comput. Secur. 27 (2) (2019)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. CCS (2018)
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. IACR Cryptol. ePrint Arch. 2017 (2017)
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. CSF (2017)
Cas Cremers, Martin Dehnel-Wild, Kevin Milner
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. ESORICS (1) (2017)
Gus Gutoski, Patrick M. Hayden, Kevin Milner, Mark M. Wilde
Quantum Interactive Proofs and the Complexity of Separability Testing. Theory Comput. 11 (2015)
Patrick M. Hayden, Kevin Milner, Mark M. Wilde
Two-message quantum interactive proofs and the quantum separability problem. Quantum Inf. Comput. 14 (5-6) (2014)
Kevin Milner, Gus Gutoski, Patrick M. Hayden, Mark M. Wilde
Quantum interactive proofs and the complexity of entanglement detection. CoRR (2013)
Patrick M. Hayden, Kevin Milner, Mark M. Wilde
Two-Message Quantum Interactive Proofs and the Quantum Separability Problem. Computational Complexity Conference (2013)
Patrick M. Hayden, Kevin Milner, Mark M. Wilde
Two-message quantum interactive proofs and the quantum separability problem CoRR (2012)
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
Metrics for heterogeneous scientific workflows: A case study of an earthquake science application. Int. J. High Perform. Comput. Appl. 25 (3) (2011)
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
Scaling up workflow-based applications. J. Comput. Syst. Sci. 76 (6) (2010)
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
Reducing Time-to-Solution Using Distributed High-Throughput Mega-Workflows - Experiences from SCEC CyberShake. eScience (2008)