The following pages link to Benjamin Dowling (Q1656015):
Displayed 9 items.
- A cryptographic analysis of the WireGuard protocol (Q1656016) (← links)
- A cryptographic analysis of the TLS 1.3 handshake protocol (Q1983332) (← links)
- A formal security analysis of the Signal messaging protocol (Q2210444) (← links)
- Modelling Ciphersuite and Version Negotiation in the TLS Protocol (Q3194602) (← links)
- Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework (Q5041163) (← links)
- Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange (Q5041238) (← links)
- Identity confidentiality in 5G mobile telephony systems (Q6073008) (← links)
- Continuous authentication in secure messaging (Q6109442) (← links)
- Strongly anonymous ratcheted key exchange (Q6135430) (← links)