Ioana Boureanu

71 papers A* 10A 16B 6C 3Misc 3Journal 23Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure. EuroS&P Ioana Boureanu, Stephan Wesemeyer, Fortunat Rajaona, Steve Schneider, Helen Treharne
2025	J	`jnl`	An SMT-Based Approach to the Verification of Knowledge-Based Programs. Formal Aspects Comput. Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
2025	J	`jnl`	LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3. CoRR Behnam Shobiri, Sajjad Pourali, Daniel Migault, Ioana Boureanu, Stere Preda, Mohammad Mannan, Amr M. Youssef
2025	J	`jnl`	Model-checking Strategic Abilities in Information-sharing Systems. ACM Trans. Comput. Log. Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2025	A*	`conf`	More is Less: Extra Features in Contactless Payments Break Security. USENIX Security Symposium George Pavlides, Anna Clee, Ioana Boureanu, Tom Chothia
2025	A	`conf`	Post-Compromise Security with Application-Level Key-Controls - with a comprehensive study of the 5G AKMA protocol. AsiaCCS Ioana Boureanu, Cristina Onete, Stephan Wesemeyer, Léo Robert, Rhys Miller, Pascal Lafourcade, Fortunat Rajaona
2025	A	`conf`	Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy. AsiaCCS Jean Snyman, Chris Culnane, Ioana Boureanu, David Gérault
2025	B	`conf`	TwinGuard: A Proactive RL-Driven Defence Framework for Digital Twin-Enabled O-RAN Security. TrustCom Neha Gupta, Liam O'Driscoll, Taneya Sharma, Mohammad Shojafar, Chuan Heng Foh, Ioana Boureanu, Helen Treharne, Sotiris Moschoyiannis
2025	A*	`conf`	Who Pays Whom? Anonymous EMV-Compliant Contactless Payments. USENIX Security Symposium Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher J. P. Newton, Tom Chothia, Anna Clee, Andreas Kokkinis, Pascal Lafourcade
2024	A	`conf`	Epistemic Model Checking for Privacy. CSF Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer
2024	J	`jnl`	LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3. IEEE Trans. Netw. Sci. Eng. Behnam Shobiri, Sajjad Pourali, Daniel Migault, Ioana Boureanu, Stere Preda, Mohammad Mannan, Amr M. Youssef
2023	A*	`conf`	Automatically Verifying Expressive Epistemic Properties of Programs. AAAI Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
2023	A*	`conf`	Fine-Grained Trackability in Protocol Executions. NDSS Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
2023	A	`conf`	Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. AsiaCCS Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne
2023	B	`conf`	Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0. SMC Ioana Boureanu
2023	A*	`conf`	How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. USENIX Security Symposium Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
2023	—	`ed.`	Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2023, Guildford, United Kingdom, 29 May 2023 - 1 June 2023 WiSec Ioana Boureanu, Steve Schneider, Bradley Reaves, Nils Ole Tippenhauer
2023	B	`conf`	Program Semantics and Verification Technique for AI-Centred Programs. FM Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
2023	A	`conf`	Systematic Improvement of Access-Stratum Security in Mobile Networks. EuroS&P Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Zhili Sun, Hemant Zope
2022	J	`jnl`	How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. IACR Cryptol. ePrint Arch. Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
2022	J	`jnl`	Model Checking Strategic Abilities in Information-sharing Systems. CoRR Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2022	A*	`conf`	Practical EMV Relay Protection. SP Andreea-Ina Radu, Tom Chothia, Christopher J. P. Newton, Ioana Boureanu, Liqun Chen
2022	J	`jnl`	Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona
2022	A	`conf`	The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. AsiaCCS Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton
2021	—	`ch.`	From Relay Attacks to Distance-Bounding Protocols. Security of Ubiquitous Computing Systems Gildas Avoine, Ioana Boureanu, David Gérault, Gerhard P. Hancke, Pascal Lafourcade, Cristina Onete
2021	A	`conf`	Mechanised Models and Proofs for Distance-Bounding. CSF Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2020	—	`ed.`	Computer Security - ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised Selected Papers DETIPS/DeSECSys/MPS/SPOSE@ESORICS Ioana Boureanu, Constantin Catalin Dragan, Mark Manulis, Thanassis Giannetsos, Christoforos Dadoyan, Panagiotis Gouvas, Roger A. Hallman, Shujun Li, Victor Chang, Frank Pallas, Jörg Pohle, M. Angela Sasse
2020	A	`conf`	Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. EuroS&P Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne
2020	B	`conf`	LURK: Server-Controlled TLS Delegation. TrustCom Ioana Boureanu, Daniel Migault, Stere Preda, Hyame Assem Alamedine, Sanjay Mishra, Frederic Fieau, Mohammad Mannan
2020	J	`jnl`	LURK: Server-Controlled TLS Delegation. IACR Cryptol. ePrint Arch. Ioana Boureanu, Daniel Migault, Stere Preda, Hyame Assem Alamedine, Sanjay Mishra, Frederic Fieau, Mohammad Mannan
2020	J	`jnl`	Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. IACR Cryptol. ePrint Arch. Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2020	A	`conf`	Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments. AsiaCCS Ioana Boureanu, Liqun Chen, Sam Ivey
2020	A*	`conf`	Security Analysis and Implementation of Relay-Resistant Contactless Payments. CCS Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
2019	—	`conf`	Distance bounding under different assumptions: opinion. WiSec David Gérault, Ioana Boureanu
2019	—	`conf`	Here and There at Once, with my Mobile Phone! ICETE (2) Ioana Boureanu, David Gérault, James Lewis
2019	J	`jnl`	Model Checking ATL* on vCGS. CoRR Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone
2019	J	`jnl`	Security of Distance-Bounding: A Survey. ACM Comput. Surv. 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
2019	—	`conf`	Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers. Financial Cryptography Tom Chothia, Ioana Boureanu, Liqun Chen
2019	A	`conf`	Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2018	A*	`conf`	A Formal Treatment of Accountable Proxying Over TLS. IEEE Symposium on Security and Privacy Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete
2018	J	`jnl`	Another Look at Relay and Distance-based Attacks in Contactless Payments. IACR Cryptol. ePrint Arch. Ioana Boureanu, Anda Anda
2017	A*	`conf`	A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. IJCAI Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
2017	J	`jnl`	Breaking and Fixing the HB+DB protocol. IACR Cryptol. ePrint Arch. Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
2017	—	`conf`	Breaking and fixing the HB+DB protocol. WISEC Ioana Boureanu, David Gérault, Pascal Lafourcade, Cristina Onete
2017	A	`conf`	Content delivery over TLS: a cryptographic analysis of keyless SSL. EuroS&P Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
2016	A	`conf`	Verifying Security Properties in Unbounded Multiagent Systems. AAMAS Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
2015	J	`jnl`	Challenges in Distance Bounding. IEEE Secur. Priv. Ioana Boureanu, Serge Vaudenay
2015	J	`jnl`	Practical and provably secure distance-bounding. J. Comput. Secur. Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2015	A	`conf`	The Limits of Composable Crypto with Transferable Setup Devices. AsiaCCS Ioana Boureanu, Miyako Ohkubo, Serge Vaudenay
2015	J	`jnl`	Towards Secure Distance Bounding. IACR Cryptol. ePrint Arch. Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2014	B	`ed.`	Applied Cryptography and Network Security - 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings ACNS Ioana Boureanu, Philippe Owesarski, Serge Vaudenay
2014	Misc	`conf`	Compact and Efficient UC Commitments Under Atomic-Exchanges. ICISC Ioana Boureanu, Serge Vaudenay
2014	Misc	`conf`	Optimal Proximity Proofs. Inscrypt Ioana Boureanu, Serge Vaudenay
2014	J	`jnl`	Optimal Proximity Proofs. IACR Cryptol. ePrint Arch. Ioana Boureanu, Serge Vaudenay
2013	C	`conf`	Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges. ProvSec Ioana Boureanu, Serge Vaudenay
2013	J	`jnl`	Practical & Provably Secure Distance-Bounding. IACR Cryptol. ePrint Arch. Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2013	C	`conf`	Practical and Provably Secure Distance-Bounding. ISC Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2013	B	`conf`	Primeless Factoring-Based Cryptography - -Solving the Complexity Bottleneck of Public-Key Generation-. ACNS Sonia Bogos, Ioana Boureanu, Serge Vaudenay
2013	—	`conf`	Secure and Lightweight Distance-Bounding. LightSec Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2013	A*	`conf`	Towards Secure Distance Bounding. FSE Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2013	J	`jnl`	UC and EUC Weak Bit-Commitments Using Seal-Once Tamper-Evidence. Sci. Ann. Comput. Sci. Ioana Boureanu, Serge Vaudenay
2012	A	`conf`	Automatic verification of epistemic specifications under convergent equational theories. AAMAS Ioana Boureanu, Andrew V. Jones, Alessio Lomuscio
2012	—	`—`	Model Checking Security Protocols: A Multiagent System Approach. Ioana Boureanu
2012	—	`conf`	On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols - PRF-ness alone Does Not Stop the Frauds! LATINCRYPT Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay
2012	C	`conf`	Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices. ProvSec Ioana Boureanu, Serge Vaudenay
2012	J	`jnl`	Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices. IACR Cryptol. ePrint Arch. Ioana Boureanu, Serge Vaudenay
2012	Misc	`conf`	The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks. Inscrypt Aslí Bay, Ioana Boureanu, Aikaterini Mitrokotsa, Iosif Spulber, Serge Vaudenay
2010	A	`conf`	Model checking detectability of attacks in multiagent systems. AAMAS Ioana Boureanu, Mika Cohen, Alessio Lomuscio
2009	J	`jnl`	Automatic verification of temporal-epistemic properties of cryptographic protocols. J. Appl. Non Class. Logics Ioana Boureanu, Mika Cohen, Alessio Lomuscio
2008	J	`jnl`	Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. J. Comput. Secur. Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu
2005	J	`jnl`	Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem. Sci. Ann. Cuza Univ. Sorin Iftene, Ioana Boureanu