About
Marc Fischlin is a Professor of Computer Science at Technische Universität Darmstadt, specializing in Cryptography and Complexity Theory. His research establishes formal foundations for cryptographic security and develops practical protocols for real-world applications.
Key research domains:
- Formal verification of security protocols (TLS, Bluetooth, QUIC)
- Post-quantum cryptography migration strategies
- Compositional security proofs
- Privacy-enhancing technologies
- Cryptographic foundations and complexity
Recent work includes BUFFing techniques for signature schemes, quantum-resistant FIDO2 authentication, and robust channel designs for QUIC/DTLS. He develops decision-based frameworks for privacy-sensitive data distribution and analyzes next-generation transport protocols.
His group contributes cryptographic core components to standards including TLS 1.3 and conducts fundamental work on indifferentiability and verifiable verification.
0Publications listed
Find Marc Fischlin elsewhere
Related Searches
You Might Also Like
Gilles BartheIMDEA Software Institute · Research Professor- MMarkulf KohlweissUniversity of Edinburgh · Senior Lecturer
- KKristian GjøsteenNorwegian University of Science and Technology · Professor
Thomas HainesAustralian National University (ANU) · Senior Lecturer- GGilles BartheMax Planck Institute for Security and Privacy · Research Professor
Manuel BarbosaUniversity of Minho · Associate Professor