Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. - Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris; Itzel Vázquez Sandoval (ICSOC Workshops, 2014)

Completing Workflow Traces Using Action Languages. - Chiara Di Francescomarino; Chiara Ghidini; Sergio Tessaris; Itzel Vázquez Sandoval (CAiSE, 2015)

Experience Report: How to Extract Security Protocols' Specifications from C Libraries. - Itzel Vázquez Sandoval; Gabriele Lenzini (COMPSAC (2), 2018)

A Protocol to Strengthen Password-Based Authentication. - Itzel Vázquez Sandoval; Borce Stojkovski; Gabriele Lenzini (ETAA@ESORICS, 2018)

A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. - Ziya Alper Genç; Gabriele Lenzini; Peter Y. A. Ryan; Itzel Vázquez Sandoval (ICISSP, 2018)

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 Vázquez Sandoval (ICISSP (Revised Selected Papers), 2018)

A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. - Itzel Vázquez Sandoval; Gabriele Lenzini (ETAA@ESORICS, 2019)

Detecting Misalignments between System Security and User Perceptions: A Preliminary Socio-technical Analysis of an E2E email Encryption System. - Borce Stojkovski; Itzel Vázquez Sandoval; Gabriele Lenzini (EuroS&P Workshops, 2019)

Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-entropy Secrets. - Itzel Vázquez Sandoval; Arash Atashpendar; Gabriele Lenzini (ICETE (2), 2020)

PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. - Itzel Vázquez Sandoval; Arash Atashpendar; Gabriele Lenzini; Peter Y. A. Ryan (ICETE (Selected Papers), 2020)

A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. - Itzel Vázquez Sandoval; Gabriele Lenzini (CoRR, 2020)

A multifaceted formal analysis of end-to-end encrypted email protocols and cryptographic authentication enhancements. - Itzel Vázquez Sandoval (2020)

Can We Formally Catch Cheating in E-exams? - Itzel Vázquez Sandoval; Gabriele Lenzini (ICISSP, 2022)