معرفی
Ioana Boureanu is a Professor in Secure Systems and Director of the Surrey Centre for Cyber Security (SCCS) at the University of Surrey. She holds a PhD in formal verification of security protocols from Imperial College London and a BSc from the Faculty of Computer Science, 'Alexandru Ioan Cuza' University, Romania. Her research focuses on formal security analysis, applied cryptography, and IoT/mobile network security, with collaborations in industry (Visa, Mastercard, Thales, etc.).
**Education**: PhD (Imperial College London, 2011), BSc (Alexandru Ioan Cuza University, 2007). **Professional Roles**: Deputy Director of LASEC (EPFL, 2012), Professor at University of Applied Sciences Western Switzerland (2013). **Awards**: Leverhulme Senior Research Fellowship (2021-2022), Marie Skłodowska-Curie Fellowship (2015).
**Research**: Specializes in provable security for protocols like EMV contactless payments, LoRaWAN IoT devices, and 5G networks. Her work emphasizes formal verification using tools like Tamarin and ProVerif. She also leads projects on privacy-preserving payment systems and secure software updates for vehicles.
**Teaching**: Programme lead for the Government-accredited Information Security MSc. Teaches undergraduate courses on computer security and systems verification. **Service Roles**: Editor for ACM Transactions on Privacy and Security, Journal of Computer Security; co-chair of WiSec 2023 and ESORICS workshops.
**Consultancy**: Part-time cyber-security consultant. **Interests**: Japanese language, classical music, and cycling.
