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
E-Mail
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
orbilu.uni.lu

2019

Full Text
See detailA Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter; Vazquez Sandoval, Itzel

in Information Systems Security and Privacy (2019, July)

Full Text
See detailDetecting 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

in 4th European Workshop on Usable Security - 2019 IEEE European Symposium on Security and Privacy Workshops (2019)

Full Text
See detailA Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
Vazquez Sandoval, Itzel; Lenzini, Gabriele

in Emerging Technologies for Authorization and Authentication (2019)

Top of Page

2018

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), Volume 2 (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 (2018, November)

Top of Page