Itzel Vazquez Sandoval

Interdisciplinary Research Group in Socio-technical Cybersecurity

Itzel Vazquez Sandoval

Research Associate

Areas of expertise

  • Computational Logic
  • Formal Methods
  • Formal Verification
  • Secure email protocols

Research Interests

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.

Campus Office

MNO, E02 0215-120
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette


(+352) 46 66 44 5866


(+352) 46 66 44 35866

Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets
Itzel Vazquez Sandoval, Arash Atashpendar, Gabriele Lenzini
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vazquez Sandoval
Communications in Computer and Information Science
A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
Vazquez Sandoval Itzel, Lenzini Gabriele
Emerging Technologies for Authorization and Authentication
Detecting misalignments between system security and user perceptions: a preliminary socio-technical analysis of an E2E email encryption system
Stojkovski Borce, Vazquez Sandoval Itzel, Lenzini Gabriele
2019 IEEE European Symposium on Security and Privacy Workshops
A Protocol to Strengthen Password-Based Authentication
Vazquez Sandoval Itzel, Lenzini Gabriele, Stojkovski Borce
Emerging Technologies for Authorization and Authentication

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