Provable Security and Security Reductions:
Development and analysis of cryptographic security proofs, particularly tight and memory-tight security reductions.
Post-Quantum Cryptography:
Theoretical security analysis of post-quantum cryptographic schemes, particularly key-encapsulation mechanisms (KEMs) and security proofs in the quantum random oracle model (QROM).
Secure Communication Protocols:
Development and analysis of security models and proofs for cryptographic communication protocols, particularly key exchange protocols, password-based authentication, and secure messaging protocols.
Foundations of Public-Key Cryptography:
Investigation of fundamental cryptographic primitives, such as public-key encryption and digital signatures, and their mathematical security guarantees.
