Benjamin Dowling
From MaRDI portal
Person:1656015
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Identity confidentiality in 5G mobile telephony systems Security Standardisation Research | 2023-10-16 | Paper |
| Strongly anonymous ratcheted key exchange Advances in Cryptology – ASIACRYPT 2022 | 2023-08-25 | Paper |
| Continuous authentication in secure messaging Computer Security – ESORICS 2022 | 2023-07-28 | Paper |
| Flexible authenticated and confidential channel establishment (fACCE): analyzing the noise protocol framework Lecture Notes in Computer Science | 2022-10-13 | Paper |
| Many a mickle makes a muckle: a framework for provably quantum-secure hybrid key exchange Post-Quantum Cryptography | 2022-10-13 | Paper |
| A cryptographic analysis of the TLS 1.3 handshake protocol Journal of Cryptology | 2021-09-10 | Paper |
| A formal security analysis of the Signal messaging protocol Journal of Cryptology | 2020-11-06 | Paper |
| A cryptographic analysis of the WireGuard protocol | 2018-08-10 | Paper |
| Modelling ciphersuite and version negotiation in the TLS protocol Information Security and Privacy | 2015-10-20 | Paper |
Research outcomes over time
This page was built for person: Benjamin Dowling
