Interdisciplinary Research Group in Socio-technical Cybersecurity
Itzel Vazquez Sandoval
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
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.
Experience report: How to extract security protocols’ specifications from C libraries
A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack
A Protocol to Strengthen Password-Based Authentication
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
29, Avenue J.F Kennedy L-1855 Luxembourg