Itzel Vázquez Sandoval

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