Details
Title
Boureanu, Ioana
Sciper ID
210384
Affiliated labs
LASEC
Publications
Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols
Model Checking Detectability of Attacks in Multiagent Systems
Model Checking Security Protocols: A Multiagent System Approach
On the Need for Secure Distance-Bounding
Primeless Factoring-Based Cryptography
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete
Security of Distance-Bounding: A Survey
The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks
Towards Secure Distance Bounding
Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem
See complete list of publications (15)
Model Checking Detectability of Attacks in Multiagent Systems
Model Checking Security Protocols: A Multiagent System Approach
On the Need for Secure Distance-Bounding
Primeless Factoring-Based Cryptography
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete
Security of Distance-Bounding: A Survey
The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks
Towards Secure Distance Bounding
Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem
See complete list of publications (15)
Use for
Boureanu, Ioana Cristina
Link to search
All resources
Record appears in
Authorities > People