Scholar
Ioana Boureanu
Google Scholar ID: yQu36nIAAAAJ
Professor, University of Surrey
Provable Security
Formal Verification
Applied Cryptography
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,014
H-index
17
i10-index
22
Publications
20
Co-authors
30
list available
Publications
2 items
Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic
2026
Cited
0
Decidability of Parameterised Dolev-Yao Secrecy
2026
Cited
0
Co-authors
6 total
Pascal Lafourcade
Université Clermont Auvergne
Alessio R Lomuscio
Imperial College London
Liqun Chen
Professor, University of Surrey, UK
Srdjan Capkun (Srđan Čapkun)
Professor of Computer Science, ETH Zurich
Rolando Trujillo Rasúa
Ramon i Cajal Researcher
Dave Singelee
Katholieke Universiteit Leuven
