| 2025 | AsiaCCS | Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol. | Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Lo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona |
| 2025 | AsiaCCS | Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy. | Jean Snyman, Chris Culnane, Ioana Boureanu, David Grault |
| 2025 | TrustCom | TwinGuard: A Proactive RL-Driven Defence Framework for Digital Twin-Enabled O-RAN Security. | Neha Gupta, Liam O'Driscoll, Taneya Sharma, Mohammad Shojafar, Chuan Heng Foh, Ioana Boureanu, Helen Treharne, Sotiris Moschoyiannis |
| 2023 | AAAI | Automatically Verifying Expressive Epistemic Properties of Programs. | Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona |
| 2023 | AsiaCCS | Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. | Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne |
| 2023 | FM | Program Semantics and Verification Technique for AI-Centred Programs. | Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli |
| 2023 | NDSS | Fine-Grained Trackability in Protocol Executions. | Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider |
| 2023 | SMC | Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0. | Ioana Boureanu |
| 2022 | AsiaCCS | The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. | Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton |
| 2022 | SP | Practical EMV Relay Protection. | Andreea-Ina Radu, Tom Chothia, Christopher J. P. Newton, Ioana Boureanu, Liqun Chen |
| 2020 | CCS | Security Analysis and Implementation of Relay-Resistant Contactless Payments. | Ioana Boureanu, Tom Chothia, Alexandre Debant, Stphanie Delaune |
| 2020 | CCS | Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments. | Ioana Boureanu, Liqun Chen, Sam Ivey |
| 2020 | TrustCom | LURK: Server-Controlled TLS Delegation. | Ioana Boureanu, Daniel Migault, Stere Preda, Hyame Assem Alamedine, Sanjay Mishra, Frederic Fieau, Mohammad Mannan |
| 2019 | FC | Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers. | Tom Chothia, Ioana Boureanu, Liqun Chen |
| 2018 | SP | A Formal Treatment of Accountable Proxying Over TLS. | Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete |
| 2017 | IJCAI | A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. | Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu |
| 2015 | CCS | The Limits of Composable Crypto with Transferable Setup Devices. | Ioana Boureanu, Miyako Ohkubo, Serge Vaudenay |
| 2014 | ICISC | Compact and Efficient UC Commitments Under Atomic-Exchanges. | Ioana Boureanu, Serge Vaudenay |
| 2013 | ACNS | Primeless Factoring-Based Cryptography - -Solving the Complexity Bottleneck of Public-Key Generation-. | Sonia Bogos, Ioana Boureanu, Serge Vaudenay |
| 2013 | FSE | Towards Secure Distance Bounding. | Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay |
| 2013 | ProvSec | Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges. | Ioana Boureanu, Serge Vaudenay |
| 2012 | AAMAS | Automatic verification of epistemic specifications under convergent equational theories. | Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio |
| 2012 | ProvSec | Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices. | Ioana Boureanu, Serge Vaudenay |