Itzel Vazquez Sandoval

Interdisciplinary Research Group in Socio-technical Cybersecurity

Itzel Vazquez Sandoval

PhD Researcher

Itzel received her MSc. diploma in the field of Computational Logic in 2014, by the Technische Universität Dresden and the Free University of Bolzano. She has professional experience as software architect and developer for around 4 years. Itzel joined the Applied Security and Information Assurance group – APSIA headed by Prof. Peter Y. A. Ryan, and she works on the application of formal methods in cryptography, in particular for the verification of implementations related to security protocols, under the supervision of Dr. Gabriele Lenzini.

Areas of expertise

  • Computational Logic
  • Formal Methods
  • Formal Verification

Research Interests

Itzel’s research activities are focused in the application of formal methods and logics, primarily in formal verification of systems and in automatic reasoning about business processes’ models.


Please refer to our Publications section for the full list of Itzel’s academic outcomes. Below are his latest publications.

Campus Office

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


(+352) 46 66 44 5866


(+352) 46 66 44 35866

Experience report: How to extract security protocols’ specifications from C libraries
Itzel Vazquez Sandoval, Gabriele Lenzini
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
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
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 Protocol to Strengthen Password-Based Authentication
Vazquez Sandoval Itzel, Lenzini Gabriele, Stojkovski Borce
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

Get in touch with us

SnT – Interdisciplinary Centre for Security, Reliability and Trust
29, Avenue J.F Kennedy L-1855 Luxembourg