Kevin Milner

14 papers A* 1A 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
An efficient construction of Raz's two-source randomness extractor with improved parameters.
CoRR
Cameron Foreman, Lewis Wooltorton, Kevin Milner, Florian J. Curchod
2025 J jnl
An efficient construction of Raz's two-source randomness extractor with improved parameters.
IACR Cryptol. ePrint Arch.
Cameron Foreman, Lewis Wooltorton, Kevin Milner, Florian J. Curchod
2019 J jnl
Secure authentication in the grid: A formal analysis of DNP3 SAv5.
J. Comput. Secur.
Cas Cremers, Martin Dehnel-Wild, Kevin Milner
2018 — —
Detecting the misuse of secrets: foundations, protocols, and verification.
Kevin Milner
2018 A* conf
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
CCS
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
2017 A conf
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.
CSF
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
2017 J jnl
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.
IACR Cryptol. ePrint Arch.
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
2017 J jnl
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.
IACR Cryptol. ePrint Arch.
Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner
2017 — conf
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.
ESORICS (1)
Cas Cremers, Martin Dehnel-Wild, Kevin Milner
2015 J jnl
Quantum Interactive Proofs and the Complexity of Separability Testing.
Theory Comput.
Gus Gutoski, Patrick M. Hayden, Kevin Milner, Mark M. Wilde
2014 J jnl
Two-message quantum interactive proofs and the quantum separability problem.
Quantum Inf. Comput.
Patrick M. Hayden, Kevin Milner, Mark M. Wilde
2013 J jnl
Quantum interactive proofs and the complexity of entanglement detection.
CoRR
Kevin Milner, Gus Gutoski, Patrick M. Hayden, Mark M. Wilde
2013 A conf
Two-Message Quantum Interactive Proofs and the Quantum Separability Problem.
CCC
Patrick M. Hayden, Kevin Milner, Mark M. Wilde
2012 J jnl
Two-message quantum interactive proofs and the quantum separability problem
CoRR
Patrick M. Hayden, Kevin Milner, Mark M. Wilde