Itzel Vázquez Sandoval

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 13

Top Topics

Authentication Protocol

Key Distribution

Top Venues

ICSOC Workshops

Publications

Itzel Vázquez Sandoval, Gabriele Lenzini
Can We Formally Catch Cheating in E-exams? ICISSP (2022)
Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
PakeMail: authentication and key management in decentralized secure email and messaging via PAKE. CoRR (2021)
Itzel Vázquez Sandoval, Gabriele Lenzini
A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. CoRR (2020)
Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-entropy Secrets. ICETE (2) (2020)
Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets. CoRR (2020)
Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. ICETE (Selected Papers) (2020)
Borce Stojkovski, Itzel Vázquez Sandoval, Gabriele Lenzini
Detecting Misalignments between System Security and User Perceptions: A Preliminary Socio-technical Analysis of an E2E email Encryption System. EuroS&P Workshops (2019)
Itzel Vázquez Sandoval, Gabriele Lenzini
A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. ETAA@ESORICS (2019)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. ICISSP (2018)
Itzel Vázquez Sandoval, Gabriele Lenzini
Experience Report: How to Extract Security Protocols' Specifications from C Libraries. COMPSAC (2) (2018)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. ICISSP (Revised Selected Papers) (2018)
Itzel Vázquez Sandoval, Borce Stojkovski, Gabriele Lenzini
A Protocol to Strengthen Password-Based Authentication. ETAA@ESORICS (2018)
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval
Completing Workflow Traces Using Action Languages. CAiSE (2015)
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval
Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. ICSOC Workshops (2014)