Startseite // SnT // People // Itzel Vazquez Sandoval

Itzel Vazquez Sandoval

Itzel Vazquez Sandoval

Doctoral researcher

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Forschungseinheit SnT
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E02 0225-080
Telefon (+352) 46 66 44 5866
Fax (+352) 46 66 44 35866

Itzel Vazquez Sandoval received her MSc. diploma in the field of Computational Logic in 2014, by the Technische Universität Dresden and the Free University of Bolzano. Her 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. 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 will work 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.

Last updated on: Donnerstag, den 05. Januar 2017

powered by


Full Text
See detailA Security Analysis, and a Fix, of a Code-Corrupted Honeywords System
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter; Vazquez Sandoval, Itzel

in Proceedings of the 4th International Conference on Information Systems Security and Privacy (2018)

Full Text
See detailExperience report: How to extract security protocols’ specifications from C libraries
Vazquez Sandoval, Itzel; Lenzini, Gabriele

in 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) (2018, June)

Full Text
See detailA Protocol to Strengthen Password-Based Authentication
Vazquez Sandoval, Itzel; Lenzini, Gabriele; Stojkovski, Borce

in Emerging Technologies for Authorization and Authentication - ESORICS 2018 International Workshops (2018)

Top of Page