A Client-Side Seat to TLS Deployment.
Proceedings of the 43rd IEEE Security and Privacy, 2022
Guest Editorial: Security and Privacy.
IEEE Commun. Stand. Mag., 2021
Designing Reverse Firewalls for the Real World.
IACR Cryptol. ePrint Arch., 2020
SSR'19: The 5th Conference on Security Standardisation Research.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
An analysis of the Transport Layer Security protocol.
PhD thesis, 2018
Analysing and exploiting the Mantin biases in RC4.
Des. Codes Cryptogr., 2018
A Comprehensive Symbolic Analysis of TLS 1.3.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.
Proceedings of the IEEE Symposium on Security and Privacy, 2016
Reactive and Proactive Standardisation of TLS.
Proceedings of the Security Standardisation Research - Third International Conference, 2016
Attacks Only Get Better: Password Recovery Attacks Against RC4 in TLS.
Proceedings of the 24th USENIX Security Symposium, 2015