General Information
Details
My main area of research is cryptography. Within cryptography, I work in applied cryptography and practice-oriented provable security: design and analysis of practical cryptographic protocols. My approach has been to (1) closely study important practical applications and standards that rely on cryptographic solutions but lack formal treatment, and (2) design and apply provable-security analyses to existing crypto schemes or propose new provably-secure schemes matching the application requirements. Some specific topics include
• Study of symmetric searchable encryption for securing cloud storage,
• Analyzing provable security of deployed and standardized cryptographic protocols, such as FIDO and Goggle's QUIC,
• Addressing privacy concerns in protocols dealing with biometric data.
I regularly teach CS6260 Applied Cryptography. This is a graduate-level introduction to modern cryptography, which focuses on the classical goals of cryptography, such as data privacy, authenticity, and integrity.
• A. BOLDYREVA, Z. GUI and B. WARINSCHI, “Understanding Leakage in Searchable Encryption: a Quantitative Approach,” In Proceedings on Privacy Enhancing Technologies (PoPETs) 2024.
• A. BOLDYREVA, V. KUMAR and J. SUN, “Provable Security Analysis of Butterfly Key Mechanism Protocol in IEEE 1609.2.1 Standard,” In Proceedings on Privacy Enhancing Technologies (PoPETs) 2024.
• A. BOLDYREVA and T. TANG, “Encrypted Multi-Map that Hides Access, Query and Volume Patterns,” Conference on Security and Cryptography for Networks (SCN) 2024.
• M. BARBOSA, A. BOLDYREVA, K. CHENG and S. CHEN, “Privacy and Security of FIDO2 Revisited,” In Proceedings on Privacy Enhancing Technologies (PoPETs) 2025.
• A. BOLDYREVA, K. CHENG and J. HUSSEIN, “Private Photo Sharing via Provably-Secure Authenticated Encryption for JPEG-Compressed Images,” in Advances in Cryptology – ASIACRYPT 2025.
• A. BOLDYREVA, D. I. MOHAN and T. TANG, “Provably-Secure Brute-Force Resistant Protocol for Biometric-based Authentication and Key Reconstruction,” ACM Conference on Computer and Communications Security (CCS) 2025.