| 2026 | CRYPTO | Provable Security Analyses of Google's and Apple's Bluetooth Fast Pair Protocols. | Alexandra Boldyreva, Olga Sanina, Roy Stracovsky |
| 2025 | ASIACRYPT | Format-Preserving Compression-Tolerating Authenticated Encryption for Images. | Alexandra Boldyreva, Kaishuo Cheng, Jehad Hussein |
| 2025 | CCS | May the Force | Alexandra Boldyreva, Deep Inder Mohan, Tianxin Tang |
| 2024 | SCN | Encrypted Multi-map that Hides Query, Access, and Volume Patterns. | Alexandra Boldyreva, Tianxin Tang |
| 2021 | CRYPTO | Provable Security Analysis of FIDO2. | Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi |
| 2019 | ACNS | Masking Fuzzy-Searchable Public Databases. | Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi |
| 2019 | ESORICS | Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC. | Shan Chen, Samuel Jero, Matthew Jagielski, Alexandra Boldyreva, Cristina Nita-Rotaru |
| 2017 | CRYPTO | Hedging Public-Key Encryption in the Real World. | Alexandra Boldyreva, Christopher Patton, Thomas Shrimpton |
| 2016 | SCN | Provably-Secure Remote Memory Attestation for Heap Overflow Protection. | Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi |
| 2015 | SP | How Secure and Quick is QUIC? Provable Security and Performance Analyses. | Robert Lychev, Samuel Jero, Alexandra Boldyreva, Cristina Nita-Rotaru |
| 2014 | FSE | Efficient Fuzzy Search on Encrypted Data. | Alexandra Boldyreva, Nathan Chenette |
| 2013 | FSE | On Symmetric Encryption with Distinguishable Decryption Failures. | Alexandra Boldyreva, Jean Paul Degabriele, Kenneth G. Paterson, Martijn Stam |
| 2012 | CCS | Provable security of S-BGP and other path vector protocols: model, analysis and extensions. | Alexandra Boldyreva, Robert Lychev |
| 2012 | EuroCrypt | Security of Symmetric Encryption in the Presence of Ciphertext Fragmentation. | Alexandra Boldyreva, Jean Paul Degabriele, Kenneth G. Paterson, Martijn Stam |
| 2011 | CRYPTO | Order-Preserving Encryption Revisited: Improved Security Analysis and Alternative Solutions. | Alexandra Boldyreva, Nathan Chenette, Adam O'Neill |
| 2009 | ASIACRYPT | Foundations of Non-malleable Hash and One-Way Functions. | Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi |
| 2009 | EuroCrypt | Order-Preserving Symmetric Encryption. | Alexandra Boldyreva, Nathan Chenette, Younho Lee, Adam O'Neill |
| 2008 | CCS | Identity-based encryption with efficient revocation. | Alexandra Boldyreva, Vipul Goyal, Virendra Kumar |
| 2008 | CRYPTO | On Notions of Security for Deterministic Encryption, and Efficient Constructions without Random Oracles. | Alexandra Boldyreva, Serge Fehr, Adam O'Neill |
| 2007 | CCS | Ordered multisignatures and identity-based sequential aggregate signatures, with applications to secure routing. | Alexandra Boldyreva, Craig Gentry, Adam O'Neill, Dae Hyun Yum |
| 2007 | CRYPTO | Deterministic and Efficiently Searchable Encryption. | Mihir Bellare, Alexandra Boldyreva, Adam O'Neill |
| 2007 | DBSEC | Provably-Secure Schemes for Basic Query Support in Outsourced Databases. | Georgios Amanatidis, Alexandra Boldyreva, Adam O'Neill |
| 2007 | PKC | A Closer Look at PKI: Security and Efficiency. | Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, Bogdan Warinschi |
| 2007 | SP | Extended Abstract: Provable-Security Analysis of Authenticated Encryption in Kerberos. | Alexandra Boldyreva, Virendra Kumar |
| 2006 | ASIACRYPT | On the Security of OAEP. | Alexandra Boldyreva, Marc Fischlin |
| 2005 | CRYPTO | Analysis of Random Oracle Instantiation Scenarios for OAEP and Other Practical Schemes. | Alexandra Boldyreva, Marc Fischlin |
| 2005 | ISCA | High Efficiency Counter Mode Security Architecture via Prediction and Precomputation. | Weidong Shi, Hsien-Hsin S. Lee, Mrinmoy Ghosh, Chenghuai Lu, Alexandra Boldyreva |
| 2004 | EuroCrypt | An Uninstantiable Random-Oracle-Model Scheme for a Hybrid-Encryption Problem. | Mihir Bellare, Alexandra Boldyreva, Adriana Palacio |
| 2003 | PKC | Randomness Re-use in Multi-recipient Encryption Schemeas. | Mihir Bellare, Alexandra Boldyreva, Jessica Staddon |
| 2003 | PKC | Threshold Signatures, Multisignatures and Blind Signatures Based on the Gap-Diffie-Hellman-Group Signature Scheme. | Alexandra Boldyreva |
| 2002 | CCS | Theft-Protected Proprietary Certificates. | Alexandra Boldyreva, Markus Jakobsson |
| 2001 | ASIACRYPT | Key-Privacy in Public-Key Encryption. | Mihir Bellare, Alexandra Boldyreva, Anand Desai, David Pointcheval |
| 2001 | CRYPTO | Online Ciphers and the Hash-CBC Construction. | Mihir Bellare, Alexandra Boldyreva, Lars R. Knudsen, Chanathip Namprempre |
| 2000 | ASIACRYPT | The Security of Chaffing and Winnowing. | Mihir Bellare, Alexandra Boldyreva |
| 2000 | EuroCrypt | Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements. | Mihir Bellare, Alexandra Boldyreva, Silvio Micali |