Programming language-based security, static program analysis, security type systems for secure multiparty computation, distributed authorization logics, foundations of network security.
Applied cybersecurity and cryptography, embedded systems programming, computer organization and architecture.
Human-computer interaction, usable privacy and security, privacy-enhancing technologies, health informatics, responsible AI.
Network security and applied cryptography, cryptology, telecommunications, combinatorics and graph theory.
Data privacy and differential privacy, secure multiparty computation, programming languages and verification for privacy and security, privacy-preserving machine learning.
Mathematical cryptography, in particular the explicit construction of abelian varieties for which the discrete logarithm problem is hard; isogeny-based and post-quantum cryptography.
