Ioana Boureanu

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 33

Top Topics

Security Properties

Provably Secure

Cryptographic Protocols

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
Fine-Grained Trackability in Protocol Executions. NDSS (2023)
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
Automatically Verifying Expressive Epistemic Properties of Programs. AAAI (2023)
Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Zhili Sun, Hemant Zope
Systematic Improvement of Access-Stratum Security in Mobile Networks. EuroS&P (2023)
Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
Program Semantics and Verification Technique for AI-Centred Programs. FM (2023)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. USENIX Security Symposium (2023)
Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne
Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. AsiaCCS (2023)
Ioana Boureanu
Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0. SMC (2023)
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. IACR Cryptol. ePrint Arch. 2022 (2022)
Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton
The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. AsiaCCS (2022)
Andreea-Ina Radu, Tom Chothia, Christopher J. P. Newton, Ioana Boureanu, Liqun Chen
Practical EMV Relay Protection. IEEE Symposium on Security and Privacy (2022)
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
Model Checking Strategic Abilities in Information-sharing Systems. CoRR (2022)
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR (2022)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Mechanised Models and Proofs for Distance-Bounding. CSF (2021)
Ioana Boureanu, Liqun Chen, Sam Ivey
Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments. AsiaCCS (2020)
Ioana Boureanu, Daniel Migault, Stere Preda, Hyame Assem Alamedine, Sanjay Mishra, Frederic Fieau, Mohammad Mannan
LURK: Server-Controlled TLS Delegation. TrustCom (2020)
Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
Security Analysis and Implementation of Relay-Resistant Contactless Payments. CCS (2020)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. IACR Cryptol. ePrint Arch. 2020 (2020)
Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. EuroS&P (2020)
Ioana Boureanu, Daniel Migault, Stere Preda, Hyame Assem Alamedine, Sanjay Mishra, Frederic Fieau, Mohammad Mannan
LURK: Server-Controlled TLS Delegation. IACR Cryptol. ePrint Arch. 2020 (2020)
Ioana Boureanu, David Gérault, James Lewis
Here and There at Once, with my Mobile Phone! ICETE (2) (2019)
Gildas Avoine, Muhammed Ali Bingöl, Ioana Boureanu, Srdjan Capkun, Gerhard P. Hancke, Süleyman Kardas, Chong Hee Kim, Cédric Lauradoux, Benjamin Martin, Jorge Munilla, Alberto Peinado, Kasper Bonne Rasmussen, Dave Singelée, Aslan Tchamkerten, Rolando Trujillo-Rasua, Serge Vaudenay
Security of Distance-Bounding: A Survey. ACM Comput. Surv. 51 (5) (2019)
Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone
Model Checking ATL* on vCGS. CoRR (2019)
Tom Chothia, Ioana Boureanu, Liqun Chen
Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers. Financial Cryptography (2019)
David Gérault, Ioana Boureanu
Distance bounding under different assumptions: opinion. WiSec (2019)
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS (2019)
Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete
A Formal Treatment of Accountable Proxying Over TLS. IEEE Symposium on Security and Privacy (2018)
Ioana Boureanu, David Gérault, Pascal Lafourcade
Implementation-Level Corruptions in Distance Bounding - Exhibiting Faults and Provably-Secure Fixes in the Electronic Payment Protocol PayPass -. IACR Cryptol. ePrint Arch. 2018 (2018)
Ioana Boureanu, Anda Anda
Another Look at Relay and Distance-based Attacks in Contactless Payments. IACR Cryptol. ePrint Arch. 2018 (2018)
Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. IJCAI (2017)
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
Breaking and Fixing the HB+DB protocol. IACR Cryptol. ePrint Arch. 2017 (2017)
Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Content delivery over TLS: a cryptographic analysis of keyless SSL. EuroS&P (2017)
Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
Breaking and fixing the HB+DB protocol. WISEC (2017)
Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Verifying Security Properties in Unbounded Multiagent Systems. AAMAS (2016)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
Practical and provably secure distance-bounding. J. Comput. Secur. 23 (2) (2015)
Ioana Boureanu, Miyako Ohkubo, Serge Vaudenay
The Limits of Composable Crypto with Transferable Setup Devices. AsiaCCS (2015)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
Towards Secure Distance Bounding. IACR Cryptol. ePrint Arch. 2015 (2015)
Ioana Boureanu, Serge Vaudenay
Challenges in Distance Bounding. IEEE Secur. Priv. 13 (1) (2015)
Ioana Boureanu, Serge Vaudenay
Optimal Proximity Proofs. IACR Cryptol. ePrint Arch. 2014 (2014)
Ioana Boureanu, Serge Vaudenay
Optimal Proximity Proofs. Inscrypt (2014)
Ioana Boureanu, Serge Vaudenay
Compact and Efficient UC Commitments Under Atomic-Exchanges. ICISC (2014)
Ioana Boureanu, Serge Vaudenay
UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence. Sci. Ann. Comput. Sci. 23 (2) (2013)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
Practical and Provably Secure Distance-Bounding. ISC (2013)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
Towards Secure Distance Bounding. FSE (2013)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
Practical & Provably Secure Distance-Bounding. IACR Cryptol. ePrint Arch. 2013 (2013)
Ioana Boureanu, Serge Vaudenay
Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges. ProvSec (2013)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
Secure and Lightweight Distance-Bounding. LightSec (2013)
Sonia Bogos, Ioana Boureanu, Serge Vaudenay
Primeless Factoring-Based Cryptography - -Solving the Complexity Bottleneck of Public-Key Generation-. ACNS (2013)
Aslí Bay, Ioana Boureanu, Aikaterini Mitrokotsa, Iosif Spulber, Serge Vaudenay
The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks. Inscrypt (2012)
Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio
Automatic verification of epistemic specifications under convergent equational theories. AAMAS (2012)
Ioana Boureanu, Serge Vaudenay
Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices. IACR Cryptol. ePrint Arch. 2012 (2012)
Ioana Boureanu, Serge Vaudenay
Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices. ProvSec (2012)
Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols - PRF-ness alone Does Not Stop the Frauds! LATINCRYPT (2012)
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
Model checking detectability of attacks in multiagent systems. AAMAS (2010)
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
Automatic verification of temporal-epistemic properties of cryptographic protocols. J. Appl. Non Class. Logics 19 (4) (2009)
Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. J. Comput. Secur. 16 (6) (2008)
Sorin Iftene, Ioana Boureanu
Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem. Sci. Ann. Cuza Univ. 15 (2005)