| On ends-to-ends encryption: Asynchronous group messaging with strong security guarantees K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 57 | 2018 |
| Secure authentication in the grid: A formal analysis of DNP3 SAv5 C Cremers, M Dehnel-Wild, K Milner Journal of Computer Security 27 (2), 203-232, 2019 | 21 | 2019 |
| Two-message quantum interactive proofs and the quantum separability problem P Hayden, K Milner, MM Wilde 2013 IEEE Conference on Computational Complexity, 156-167, 2013 | 18 | 2013 |
| Formal verification of the WireGuard protocol JA Donenfeld, K Milner Technical report, July, 2017 | 16 | 2017 |
| Quantum interactive proofs and the complexity of separability testing G Gutoski, P Hayden, K Milner, MM Wilde arXiv preprint arXiv:1308.5788, 2013 | 8 | 2013 |
| Automatically detecting the misuse of secrets: Foundations, design principles, and applications K Milner, C Cremers, J Yu, M Ryan 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 203-216, 2017 | 7 | 2017 |
| Formal verification of the WireGuard protocol, 2017 JA Donenfeld, K Milner URL https://www. wireguard. com/papers/wireguard-formal-verification. pdf …, 2018 | 6 | 2018 |
| Detecting the misuse of secrets: foundations, protocols, and verification K Milner University of Oxford, 2018 | 3 | 2018 |
| On Ends-to-Ends Encryption K Cohn-Gordon, C Cremers, L Garratt, J Millican, K Milner | 1 | 2017 |
| Quantum interactive proofs and the complexity of entanglement detection K Milner, G Gutoski, P Hayden, MM Wilde McGill University Libraries, 2014 | 1 | 2014 |
| Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5*** Best Paper Award M Dehnel-Wild, K Milner | | 2017 |
| How hard is it to decide if a quantum state is separable or entangled? M Wilde, P Hayden, K Milner APS 2013, T27. 005, 2013 | | 2013 |
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityBestätigte E-Mail-Adresse bei cispa.saarland
