Broadly, I apply provable security techniques to applied and theoretical cryptography. My work has thus far covered the research themes listed below.
Real World Cryptography
Mainstream systems and protocols are often designed using an ad-hoc approach, leading to a lack of formal assurances regarding their security. One of my research interests is to apply provable-security techniques to determine what guarantees these "real world cryptography" systems and protocols actually provide. Recent papers I have published on this theme include:
Stealthiness and Anonymity
While security usually means confidential communication, certain settings may need "anonymity", where it is difficult to identify communicating parties, or "stealthiness", where the very existence of communication is hidden. A line of my research explores what cryptography can provide with respect to stealthiness and anonymity. Recent papers I have published on this theme include:
Advanced Public-Key Cryptography
Traditional cryptosystems suffice for basic security needs, yet future applications may require more sophisticated capabilities. Constructing systems that achieve these capabilities is a core focus in the study of "advanced public-key cryptography", which is one of my current research interests. Recent papers I have published on this theme include: