Two-Message Quantum Interactive Proofs and the Quantum Separability Problem. - Patrick M. Hayden; Kevin Milner 002; Mark M. Wilde (CCC, 2013)

Quantum interactive proofs and the complexity of entanglement detection. - Kevin Milner 002; Gus Gutoski; Patrick M. Hayden; Mark M. Wilde (CoRR, 2013)

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

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

Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. - Cas Cremers; Martin Dehnel-Wild; Kevin Milner 002 (ESORICS (1), 2017)

On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees. - Katriel Cohn-Gordon; Cas Cremers; Luke Garratt; Jon Millican; Kevin Milner 002 (CCS, 2018)

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

An efficient construction of Raz's two-source randomness extractor with improved parameters. - Cameron Foreman; Lewis Wooltorton; Kevin Milner 002; Florian J. Curchod (IACR Cryptol. ePrint Arch., 2025)