Itzel Vazquez Sandoval

By

Interdisciplinary Research Group in Socio-technical Cybersecurity

Itzel Vazquez Sandoval

Research Associate

itzel.vazquezsandoval@uni.lu
Itzel-blackwhite

Areas of expertise

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

Research Interests

Logic, cryptography, automatic reasoning … and more.

Publications

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

Telephone

(+352) 46 66 44 5866

Fax

(+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
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets
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 Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack
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 Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
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
Detecting misalignments between system security and user perceptions: a preliminary socio-technical analysis of an E2E email encryption system
A Protocol to Strengthen Password-Based Authentication
Vazquez Sandoval Itzel, Lenzini Gabriele, Stojkovski Borce
Emerging Technologies for Authorization and Authentication
A Protocol to Strengthen Password-Based 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
info-irisc-lab@uni.lu