Ioana Boureanu
University of Surrey
H-index: 15
Europe-United Kingdom
Top articles of Ioana Boureanu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Epistemic Model Checking for Privacy | Fortunat Rajaona Ioana Boureanu Ramaswamy Ramanujam Steve Wesemeyer | 2024/4/9 | |
Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks | Ioana Boureanu | 2023 | |
Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0 | Ioana Boureanu | 2023/10/1 | |
Fine-grained trackability in protocol executions | Network and Distributed System Security (NDSS) Symposium 2023 | Ksenia Budykho Ioana Cristina Boureanu Stephan Wesemeyer Daniel Romero Matt Lewis | 2023 |
Formalising Application-Driven Authentication & Access-Control based on Users’ Companion Devices | Chris Culnane Ioana Boureanu Jean Snyman Stephan Wesemeyer Helen Treharne | 2023/7/10 | |
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 | 2023 | |
Systematic improvement of access-stratum security in mobile networks | Rhys Miller Ioana Boureanu Stephan Wesemeyer Zhili Sun Hemant Zope | 2023/7/3 | |
Automatically verifying expressive epistemic properties of programs | Proceedings of the AAAI Conference on Artificial Intelligence | Francesco Belardinelli Ioana Boureanu Vadim Malvone Fortunat Rajaona | 2023/6/26 |
Program Semantics and Verification Technique for AI-centred Programs | Fortunat Rajaona Ioana Boureanu Vadim Malvone Francesco Belardinelli | 2023/3/3 | |
Model Checking Strategic Abilities in Information-sharing Systems | arXiv preprint arXiv:2204.08896 | Francesco Belardinelli Ioana Boureanu Catalin Dima Vadim Malvone | 2022/4/19 |
Proceedings of the 2022 ACM Asia Con-ference on Computer and Communications Security (ASIA CCS'22), May ASIA CCS'22 | ASIA CCS'22: Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security | Ioana Cristina Boureanu Rhys Miller Stephan Wesemeyer Christopher JP Newton | 2022 |
Program semantics and a verification technique for knowledge-based multi-agent systems | arXiv preprint arXiv:2206.13841 | Francesco Belardinelli Ioana Boureanu Vadim Malvone Solofomampionona Fortunat Rajaona | 2022/6/28 |
The 5g key-establishment stack: In-depth formal verification and experimentation | Rhys Miller Ioana Boureanu Stephan Wesemeyer Christopher JP Newton | 2022/5/30 | |
Practical EMV relay protection | Andreea-Ina Radu Tom Chothia Christopher JP Newton Ioana Boureanu Liqun Chen | 2022/5/22 | |
One-Time Authentication Code (OTAC) A Technical Report | Ioana Boureanu Stephan Wesemeyer | 2021/7/15 | |
Mechanised models and proofs for distance-bounding | Ioana Boureanu Constantin Cătălin Drăgan François Dupressoir David Gérault Pascal Lafourcade | 2021/6/21 | |
From relay attacks to distance-bounding protocols | Security of Ubiquitous Computing Systems: Selected Topics | Gildas Avoine Ioana Boureanu David Gérault Gerhard P Hancke Pascal Lafourcade | 2021 |
Extensive security verification of the LoRaWAN key-establishment: Insecurities & patches | Steve Wesemeyer Ioana Boureanu Zach Smith Helen Treharne | 2020 | |
Lurk: Server-controlled tls delegation | Ioana Boureanu Daniel Migault Stere Preda Hyame Assem Alamedine Sanjay Mishra | 2020/12/29 | |
Computer Security Security and Cryptology: ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised Selected Papers | Panagiotis Gouvas Roger A Hallman Shujun Li Christoforos Dadoyan Ioana Boureanu | 2020/12/23 |