Interdisciplinary Research Group in Socio-technical Cybersecurity
Itzel Vazquez Sandoval
Areas of expertise
- Computational Logic
- Formal Methods
- Formal Verification
- Secure email protocols
Logic, cryptography, automatic reasoning … and more.
Please refer to our Publications section for the full list of Itzel’s academic outcomes. Below are her latest publications.
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack
A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
Detecting misalignments between system security and user perceptions: a preliminary socio-technical analysis of an E2E email encryption system
Get in touch with us
SnT – Interdisciplinary Centre for Security, Reliability and Trust
Maison du Nombre, 6, avenue de la Fonte L-4364 Esch-sur-Alzette