Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem. - Sorin Iftene; Ioana Boureanu (Sci. Ann. Cuza Univ., 2005)

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. - Ferucio Laurentiu Tiplea; Catalin V. Bîrjoveanu; Constantin Enea; Ioana Boureanu (J. Comput. Secur., 2008)

Automatic verification of temporal-epistemic properties of cryptographic protocols. - Ioana Boureanu; Mika Cohen; Alessio Lomuscio (J. Appl. Non Class. Logics, 2009)

Model checking detectability of attacks in multiagent systems. - Ioana Boureanu; Mika Cohen; Alessio Lomuscio (AAMAS, 2010)

Automatic verification of epistemic specifications under convergent equational theories. - Ioana Boureanu; Andrew V. Jones; Alessio Lomuscio (AAMAS, 2012)

The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks. - Aslí Bay; Ioana Boureanu; Aikaterini Mitrokotsa; Iosif Spulber; Serge Vaudenay (Inscrypt, 2012)

On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols - PRF-ness alone Does Not Stop the Frauds! - Ioana Boureanu; Aikaterini Mitrokotsa; Serge Vaudenay (LATINCRYPT, 2012)

Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices. - Ioana Boureanu; Serge Vaudenay (ProvSec, 2012)

Primeless Factoring-Based Cryptography - -Solving the Complexity Bottleneck of Public-Key Generation-. - Sonia Bogos; Ioana Boureanu; Serge Vaudenay (ACNS, 2013)

Towards Secure Distance Bounding. - Ioana Boureanu; Aikaterini Mitrokotsa; Serge Vaudenay (FSE, 2013)

Practical and Provably Secure Distance-Bounding. - Ioana Boureanu; Aikaterini Mitrokotsa; Serge Vaudenay (ISC, 2013)

Secure and Lightweight Distance-Bounding. - Ioana Boureanu; Aikaterini Mitrokotsa; Serge Vaudenay (LightSec, 2013)

Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges. - Ioana Boureanu; Serge Vaudenay (ProvSec, 2013)

UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence. - Ioana Boureanu; Serge Vaudenay (Sci. Ann. Comput. Sci., 2013)

Practical & Provably Secure Distance-Bounding. - Ioana Boureanu; Aikaterini Mitrokotsa; Serge Vaudenay (IACR Cryptol. ePrint Arch., 2013)

Optimal Proximity Proofs. - Ioana Boureanu; Serge Vaudenay (Inscrypt, 2014)

Compact and Efficient UC Commitments Under Atomic-Exchanges. - Ioana Boureanu; Serge Vaudenay (ICISC, 2014)

The Limits of Composable Crypto with Transferable Setup Devices. - Ioana Boureanu; Miyako Ohkubo; Serge Vaudenay (AsiaCCS, 2015)

Challenges in Distance Bounding. - Ioana Boureanu; Serge Vaudenay (IEEE Secur. Priv., 2015)

Verifying Security Properties in Unbounded Multiagent Systems. - Ioana Boureanu; Panagiotis Kouvaros; Alessio Lomuscio (AAMAS, 2016)

Content delivery over TLS: a cryptographic analysis of keyless SSL. - Karthikeyan Bhargavan; Ioana Boureanu; Pierre-Alain Fouque; Cristina Onete; Benjamin Richard (EuroS&P, 2017)

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. - Nikos Gorogiannis; Franco Raimondi; Ioana Boureanu (IJCAI, 2017)

Breaking and fixing the HB+DB protocol. - Ioana Boureanu; David Gérault; Pascal Lafourcade 001; Cristina Onete (WISEC, 2017)

A Formal Treatment of Accountable Proxying Over TLS. - Karthikeyan Bhargavan; Ioana Boureanu; Antoine Delignat-Lavaud; Pierre-Alain Fouque; Cristina Onete (IEEE Symposium on Security and Privacy, 2018)

Another Look at Relay and Distance-based Attacks in Contactless Payments. - Ioana Boureanu; Anda Anda (IACR Cryptol. ePrint Arch., 2018)

Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. - Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone (AAMAS, 2019)

Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers. - Tom Chothia; Ioana Boureanu; Liqun Chen 002 (Financial Cryptography, 2019)

Here and There at Once, with my Mobile Phone! - Ioana Boureanu; David Gérault; James Lewis (ICETE (2), 2019)

Distance bounding under different assumptions: opinion. - David Gérault; Ioana Boureanu (WiSec, 2019)

Model Checking ATL* on vCGS. - Francesco Belardinelli; Catalin Dima; Ioana Boureanu; Vadim Malvone (CoRR, 2019)

Security of Distance-Bounding: A Survey. - Gildas Avoine; Muhammed Ali Bingöl; Ioana Boureanu; Srdjan Capkun; Gerhard P. Hancke 002; Süleyman Kardas; Chong Hee Kim; Cédric Lauradoux; Benjamin Martin 002; Jorge Munilla; Alberto Peinado; Kasper Bonne Rasmussen; et al. (ACM Comput. Surv., 2019)

Security Analysis and Implementation of Relay-Resistant Contactless Payments. - Ioana Boureanu; Tom Chothia; Alexandre Debant; Stéphanie Delaune (CCS, 2020)

Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments. - Ioana Boureanu; Liqun Chen 002; Sam Ivey (AsiaCCS, 2020)

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. - Stephan Wesemeyer; Ioana Boureanu; Zach Smith; Helen Treharne (EuroS&P, 2020)

LURK: Server-Controlled TLS Delegation. - Ioana Boureanu; Daniel Migault; Stere Preda; Hyame Assem Alamedine; Sanjay Mishra; Frederic Fieau; Mohammad Mannan (TrustCom, 2020)

Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2020)

From Relay Attacks to Distance-Bounding Protocols. - Gildas Avoine; Ioana Boureanu; David Gérault; Gerhard P. Hancke 002; Pascal Lafourcade 001; Cristina Onete (Security of Ubiquitous Computing Systems, 2021)

Mechanised Models and Proofs for Distance-Bounding. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (CSF, 2021)

The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. - Rhys Miller; Ioana Boureanu; Stephan Wesemeyer; Christopher J. P. Newton (AsiaCCS, 2022)

Practical EMV Relay Protection. - Andreea-Ina Radu; Tom Chothia; Christopher J. P. Newton; Ioana Boureanu; Liqun Chen 002 (SP, 2022)

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Solofomampionona Fortunat Rajaona (CoRR, 2022)

Automatically Verifying Expressive Epistemic Properties of Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (AAAI, 2023)

Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. - Chris Culnane; Ioana Boureanu; Jean Snyman; Stephan Wesemeyer; Helen Treharne (AsiaCCS, 2023)

Systematic Improvement of Access-Stratum Security in Mobile Networks. - Rhys Miller; Ioana Boureanu; Stephan Wesemeyer; Zhili Sun; Hemant Zope (EuroS&P, 2023)

Program Semantics and Verification Technique for AI-Centred Programs. - Solofomampionona Fortunat Rajaona; Ioana Boureanu; Vadim Malvone; Francesco Belardinelli (FM, 2023)

Fine-Grained Trackability in Protocol Executions. - Ksenia Budykho; Ioana Boureanu; Stephan Wesemeyer; Daniel Romero; Matt Lewis; Yogaratnam Rahulan; Fortunat Rajaona; Steve Schneider (NDSS, 2023)

Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0. - Ioana Boureanu (SMC, 2023)

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. - Olivier Blazy; Ioana Boureanu; Pascal Lafourcade 001; Cristina Onete; Léo Robert (USENIX Security Symposium, 2023)

Epistemic Model Checking for Privacy. - Fortunat Rajaona; Ioana Boureanu; R. Ramanujam 001; Stephan Wesemeyer (CSF, 2024)

LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3. - Behnam Shobiri; Sajjad Pourali; Daniel Migault; Ioana Boureanu; Stere Preda; Mohammad Mannan; Amr M. Youssef (IEEE Trans. Netw. Sci. Eng., 2024)

Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol. - Ioana Boureanu; Cristina Onete; Stephan Wesemeyer; Léo Robert; Rhys Miller; Pascal Lafourcade 001; Fortunat Rajaona (AsiaCCS, 2025)

Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy. - Jean Snyman; Chris Culnane; Ioana Boureanu; Gerault David (AsiaCCS, 2025)

A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure. - Ioana Boureanu; Stephan Wesemeyer; Fortunat Rajaona; Steve Schneider; Helen Treharne (EuroS&P, 2025)

Who Pays Whom? Anonymous EMV-Compliant Contactless Payments. - Charles Olivier-Anclin; Ioana Boureanu; Liqun Chen 002; Christopher J. P. Newton; Tom Chothia; Anna Clee; Andreas Kokkinis; Pascal Lafourcade 001 (USENIX Security Symposium, 2025)

More is Less: Extra Features in Contactless Payments Break Security. - George Pavlides; Anna Clee; Ioana Boureanu; Tom Chothia (USENIX Security Symposium, 2025)

An SMT-Based Approach to the Verification of Knowledge-Based Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (Formal Aspects Comput., 2025)

Model-checking Strategic Abilities in Information-sharing Systems. - Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone (ACM Trans. Comput. Log., 2025)