On practical subversion-resilience
Wuppertal, October 30, 2023
On real-world cryptographic protocols for end-to-end encrypted backups and key confirmation
Wuppertal, August 23, 2024On the tight security of the Transport Layer Security (TLS) Protocol Version 1.3
Wuppertal, January 18, 2023