Login / Signup
Ioana Boureanu
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 33
Top Topics
Security Properties
Provably Secure
Model Checking
Cryptographic Protocols
Top Venues
IACR Cryptol. ePrint Arch.
AsiaCCS
EuroS&P
CoRR
</>
Publications
</>