| 2022 | ICISSP | Can We Formally Catch Cheating in E-exams? | Itzel Vzquez Sandoval, Gabriele Lenzini |
| 2019 | ESORICS | A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. | Itzel Vzquez Sandoval, Gabriele Lenzini |
| 2018 | COMPSAC | Experience Report: How to Extract Security Protocols' Specifications from C Libraries. | Itzel Vzquez Sandoval, Gabriele Lenzini |
| 2018 | ESORICS | A Protocol to Strengthen Password-Based Authentication. | Itzel Vzquez Sandoval, Borce Stojkovski, Gabriele Lenzini |
| 2018 | ICISSP | A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vzquez Sandoval |
| 2018 | ICISSP | 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 Vzquez Sandoval |
| 2015 | CaiSE | Completing Workflow Traces Using Action Languages. | Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vzquez Sandoval |
| 2014 | ICSOC | Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. | Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vzquez Sandoval |