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; et al. (eScience, 2008)

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)

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)

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 (Quantum Inf. Comput., 2014)

Quantum Interactive Proofs and the Complexity of Separability Testing. - Gus Gutoski; Patrick M. Hayden; Kevin Milner; Mark M. Wilde (Theory Comput., 2015)

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)

Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. - Kevin Milner; Cas Cremers; Jiangshan Yu; Mark Ryan 001 (IACR Cryptol. ePrint Arch., 2017)

Detecting the misuse of secrets: foundations, protocols, and verification. - Kevin Milner (2018)

Secure authentication in the grid: A formal analysis of DNP3 SAv5. - Cas Cremers; Martin Dehnel-Wild; Kevin Milner (J. Comput. Secur., 2019)

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)