  | Vazquez Sandoval, I., Atashpendar, A., Lenzini, G., & Ryan, P. Y. A. (2021). PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. In M. S. Obaidat & J. Ben-Othman (Eds.), E-Business and Telecommunications - 17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8-10, 2020, Revised Selected Papers (pp. 102-128). Springer. doi:10.1007/978-3-030-90428-9_5  Peer reviewed |
 | Vazquez Sandoval, I. (2020). A multifaceted formal analysis of end-to-end encrypted email protocols and cryptographic authentication enhancements [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/44819 |
 | Vazquez Sandoval, I., Atashpendar, A., & Lenzini, G. (2020). Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets. In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications. doi:10.5220/0009834001670179 Peer reviewed |
 | Genç, Z. A., Lenzini, G., Ryan, P., & Vazquez Sandoval, I. (2019). A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. In Information Systems Security and Privacy (pp. 125-151). Cham, Unknown/unspecified: Springer International Publishing. doi:10.1007/978-3-030-25109-3_7 Peer reviewed |
  | Stojkovski, B., Vazquez Sandoval, I., & Lenzini, G. (2019). Detecting misalignments between system security and user perceptions: a preliminary socio-technical analysis of an E2E email encryption system. In 4th European Workshop on Usable Security - 2019 IEEE European Symposium on Security and Privacy Workshops. Peer reviewed |
 | Vazquez Sandoval, I., & Lenzini, G. (2019). A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. In Emerging Technologies for Authorization and Authentication. Springer. doi:10.1007/978-3-030-39749-4_11 Peer reviewed |
 | Vazquez Sandoval, I., Lenzini, G., & Stojkovski, B. (2018). A Protocol to Strengthen Password-Based Authentication. In Emerging Technologies for Authorization and Authentication (pp. 38-46). doi:10.1007/978-3-030-04372-8 Peer reviewed |
 | Vazquez Sandoval, I., & Lenzini, G. (2018). Experience report: How to extract security protocols’ specifications from C libraries. In 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), Volume 2 (pp. 719-724). IEEE. doi:10.1109/COMPSAC.2018.10325 Peer reviewed |
 | Genç, Z. A., Lenzini, G., Ryan, P., & Vazquez Sandoval, I. (2018). A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. In Proceedings of the 4th International Conference on Information Systems Security and Privacy. doi:10.5220/0006609100830095 Peer reviewed |