Scholar

Ioana Boureanu

Google Scholar ID: yQu36nIAAAAJ

Professor, University of Surrey

Provable SecurityFormal VerificationApplied Cryptography

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,014

H-index

17

i10-index

22

Publications

20

Co-authors

30

list available

Contact

No contact links provided.

Publications

1 items

Decidability of Parameterised Dolev-Yao Secrecy

2026

Cited

0

Resume (English only)

Co-authors

30 total

Pascal Lafourcade

Université Clermont Auvergne

Alessio R Lomuscio

Imperial College London

Professor, University of Surrey, UK