Ioana Boureanu

According to our database, Ioana Boureanu authored at least 51 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Epistemic Model Checking for Privacy.

Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0.

Ioana Boureanu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Fine-Grained Trackability in Protocol Executions.

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Program Semantics and Verification Technique for AI-Centred Programs.

Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli

Proceedings of the Formal Methods - 25th International Symposium, 2023

Systematic Improvement of Access-Stratum Security in Mobile Networks.

Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Zhili Sun, Hemant Zope

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices.

Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

Automatically Verifying Expressive Epistemic Properties of Programs.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment.

Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert

IACR Cryptol. ePrint Arch., 2022

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona

CoRR, 2022

Model Checking Strategic Abilities in Information-sharing Systems.

Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone

CoRR, 2022

Practical EMV Relay Protection.

Andreea-Ina Radu, Tom Chothia, Christopher J. P. Newton, Ioana Boureanu, Liqun Chen

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.

Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Mechanised Models and Proofs for Distance-Bounding.

Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

From Relay Attacks to Distance-Bounding Protocols.

Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete

Proceedings of the Security of Ubiquitous Computing Systems, 2021

2020

LURK: Server-Controlled TLS Delegation.

Ioana Boureanu, Daniel Migault, Stere Preda, Hyame Assem Alamedine, Sanjay Mishra, Frederic Fieau, Mohammad Mannan

IACR Cryptol. ePrint Arch., 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

IACR Cryptol. ePrint Arch., 2020

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches.

Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments.

Ioana Boureanu, Liqun Chen, Sam Ivey

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Security Analysis and Implementation of Relay-Resistant Contactless Payments.

Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Security of Distance-Bounding: A Survey.

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

ACM Comput. Surv., 2019

Model Checking ATL* on vCGS.

Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone

CoRR, 2019

Distance bounding under different assumptions: opinion.

David Gérault, Ioana Boureanu

Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, 2019

Here and There at Once, with my Mobile Phone!

Ioana Boureanu, David Gérault, James Lewis

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers.

Tom Chothia, Ioana Boureanu, Liqun Chen

Proceedings of the Financial Cryptography and Data Security, 2019

Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing.

Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Another Look at Relay and Distance-based Attacks in Contactless Payments.

Ioana Boureanu, Anda Anda

IACR Cryptol. ePrint Arch., 2018

A Formal Treatment of Accountable Proxying Over TLS.

Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2017

Breaking and Fixing the HB+DB protocol.

Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete

IACR Cryptol. ePrint Arch., 2017

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs.

Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Content delivery over TLS: a cryptographic analysis of keyless SSL.

Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

Verifying Security Properties in Unbounded Multiagent Systems.

Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Practical and provably secure distance-bounding.

Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay

J. Comput. Secur., 2015

Challenges in Distance Bounding.

Ioana Boureanu, Serge Vaudenay

IEEE Secur. Priv., 2015

Towards Secure Distance Bounding.

Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay

IACR Cryptol. ePrint Arch., 2015

The Limits of Composable Crypto with Transferable Setup Devices.

Ioana Boureanu, Miyako Ohkubo, Serge Vaudenay

Proceedings of the 10th ACM Symposium on Information, 2015

2014

Optimal Proximity Proofs.

Ioana Boureanu, Serge Vaudenay

IACR Cryptol. ePrint Arch., 2014

Compact and Efficient UC Commitments Under Atomic-Exchanges.

Ioana Boureanu, Serge Vaudenay

Proceedings of the Information Security and Cryptology - ICISC 2014, 2014

2013

Practical & Provably Secure Distance-Bounding.

Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay

IACR Cryptol. ePrint Arch., 2013

UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence.

Ioana Boureanu, Serge Vaudenay

Sci. Ann. Comput. Sci., 2013

Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges.

Ioana Boureanu, Serge Vaudenay

Proceedings of the Provable Security - 7th International Conference, 2013

Secure and Lightweight Distance-Bounding.

Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay

Proceedings of the Lightweight Cryptography for Security and Privacy, 2013

Primeless Factoring-Based Cryptography - -Solving the Complexity Bottleneck of Public-Key Generation-.

Sonia Bogos, Ioana Boureanu, Serge Vaudenay

Proceedings of the Applied Cryptography and Network Security, 2013

2012

Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices.

Ioana Boureanu, Serge Vaudenay

IACR Cryptol. ePrint Arch., 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

Proceedings of the Progress in Cryptology - LATINCRYPT 2012, 2012

The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks.

Aslí Bay, Ioana Boureanu, Aikaterini Mitrokotsa, Iosif Spulber, Serge Vaudenay

Proceedings of the Information Security and Cryptology - 8th International Conference, 2012

Automatic verification of epistemic specifications under convergent equational theories.

Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2010

Model checking detectability of attacks in multiagent systems.

Ioana Boureanu, Mika Cohen, Alessio Lomuscio

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Automatic verification of temporal-epistemic properties of cryptographic protocols.

Ioana Boureanu, Mika Cohen, Alessio Lomuscio

J. Appl. Non Class. Logics, 2009

2008

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

2005

Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem.

Sorin Iftene, Ioana Boureanu

Sci. Ann. Cuza Univ., 2005