Get started
Author

Ioana Boureanu

Security of Distance-Bounding: A Survey
2018 · Gildas Avoine, Muhammed Ali Bingöl, et al. · ACM Computing Surveys · 80
PDF
Practical and Provably Secure Distance-Bounding
2015 · Ioana Boureanu, Aikaterini Mitrokotsa, et al. · Lecture notes in computer science · 53
Secure and Lightweight Distance-Bounding
2013 · Ioana Boureanu, Aikaterini Mitrokotsa, et al. · Lecture notes in computer science · 53
PDF
Towards Secure Distance Bounding
2014 · Ioana Boureanu, Aikaterini Mitrokotsa, et al. · Lecture notes in computer science · 52
Practical and provably secure distance-bounding
2015 · Ioana Boureanu, Aikaterini Mitrokotsa, et al. · Journal of Computer Security · 37
PDF
On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols
2012 · Ioana Boureanu, Aikaterini Mitrokotsa, et al. · Lecture notes in computer science · 37
The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks
2013 · Aslı Bay, Ioana Boureanu, et al. · Lecture notes in computer science · 34
A Formal Treatment of Accountable Proxying Over TLS
2018 · Karthikeyan Bhargavan, Ioana Boureanu, et al. · IEEE Symposium on Security and Privacy (S&P) · 29
PDF
Content delivery over TLS: a cryptographic analysis of keyless SSL
2017 · Karthikeyan Bhargavan, Ioana Boureanu, et al. · IEEE European Symposium on Security and Privacy · 25
Challenges in Distance Bounding
2015 · Ioana Boureanu, Serge Vaudenay · IEEE Security & Privacy · 24
Optimal Proximity Proofs
2015 · Ioana Boureanu, Serge Vaudenay · Lecture notes in computer science · 23
Practical EMV Relay Protection
2022 · Andreea-Ina Radu, Tom Chothia, et al. · IEEE Symposium on Security and Privacy (S&P) · 22
PDF
Automatic verification of temporal-epistemic properties of cryptographic protocols
2009 · Ioana Boureanu, Mika Cohen, et al. · Journal of Applied Non-Classical Logics · 22
Practical & Provably Secure Distance-Bounding.
2013 · Ioana Boureanu, Aikaterini Mitrokotsa, et al. · IACR Cryptology ePrint Archive · 20
Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem
2005 · Sorin Iftene, Ioana Boureanu · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 20
Security Analysis and Implementation of Relay-Resistant Contactless Payments
2020 · Ioana Boureanu, Tom Chothia, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 18
Applied Cryptography and Network Security: 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings
2014 · Ioana Boureanu, Philippe Owesarski, et al. · Lecture notes in computer science · 18
Automatic verification of epistemic specifications under convergent equational theories
2012 · Ioana Boureanu, Andrew V. Jones, et al. · 14
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches
2020 · Stephan Wesemeyer, Ioana Boureanu, et al. · IEEE European Symposium on Security and Privacy · 11
Mechanised Models and Proofs for Distance-Bounding
2021 · Ioana Boureanu, Constantin Cătălin Drăgan, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 8
Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols
2009 · Ioana Boureanu, Mika Cohen, et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 8
PDF
The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation
2022 · Rhys Miller, Ioana Boureanu, et al. · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 7
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs
2017 · Nikos Gorogiannis, Franco Raimondi, et al. · International Joint Conference on Artificial Intelligence · 7
PDF
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete*
2008 · Ferucio L. Ţiplea, Cătălin V. Bîrjoveanu, et al. · Journal of Computer Security · 7
Epistemic Model Checking for Privacy
2024 · Fortunat Rajaona, Ioana Boureanu, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 6
Works count: 96
Citation count: 752
H-index: 18
I10-index: 20
Year
Topic
Type