How machine learning enables automated side-channel detection
[Wuppertal], April 19, 2023On practical subversion-resilience
Wuppertal, October 30, 2023On 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, 2023Privacy-Preserving Cryptography: Attribute-Based Signatures and Updatable Credentials
Elektronische Ressource, Paderborn, 2022
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024