Specification of a Smart Card Operating System. - Gustavo Betarte; Cristina Cornes; Nora Szasz; Alvaro Tasistro (TYPES, 1999)

Type checking dependent (record) types and subtyping. - Gustavo Betarte (J. Funct. Program., 2000)

A Formal Specification of the MIDP 2.0 Security Model. - Santiago Zanella-Béguelin; Gustavo Betarte; Carlos Luna 001 (Formal Aspects in Security and Trust, 2006)

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. - Juan Manuel Crespo; Gustavo Betarte; Carlos Luna 001 (TYPES, 2008)

Formal Specification and Analysis of the MIDP 3.0 Security Model. - Gustavo Mazeikis; Gustavo Betarte; Carlos Luna 001 (SCCC, 2009)

A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices. - Ramin Roushani Oskui; Gustavo Betarte; Carlos Luna 001 (SCCC, 2009)

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna 001 (FM, 2011)

Towards machine-assisted formal procedures for the collection of digital evidence. - Martín Barrère; Gustavo Betarte; Marcelo Rodríguez (PST, 2011)

A Formal Specification of the DNSSEC Model. - Ezequiel Bazan Eixarch; Gustavo Betarte; Carlos Daniel Luna (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna 001 (CSF, 2012)

Design and implementation of a computer security Diploma. - Gustavo Betarte; Maria E. Corti (CLEI, 2013)

Formally Verified Implementation of an Idealized Model of Virtualization. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Jesús Mauricio Chimento; Carlos Luna 001 (TYPES, 2013)

System-level non-interference for constant-time cryptography. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna 001; David Pichardie (IACR Cryptol. ePrint Arch., 2014)

Verifying Android's Permission Model. - Gustavo Betarte; Juan Diego Campo; Carlos Daniel Luna; Agustín Romano (ICTAC, 2015)

Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery. - Martín Barrère; Gustavo Betarte; Víctor Codocedo; Marcelo Rodríguez; Hernán Astudillo; Marcelo Aliquintuy; Javier Baliosian; Remi Badonnel; Olivier Festor; Carlos Raniery Paula dos Santos; Jéferson Campos Nobre; Lisandro Zambenedetti Granville; et al. (FCA4AI@IJCAI, 2015)

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems. - Gustavo Betarte; Carlos Luna 001 (CLEI Electron. J., 2015)

Towards Model-Driven Virtual Patching for Web Applications. - Gustavo Betarte; Rodrigo De La Fuente; Rodrigo Martínez; Juan Pirez; Felipe Zipitria (LADC, 2016)

Formal Analysis of Android's Permission-Based Security Model, . - Gustavo Betarte; Juan Diego Campo; Carlos Luna 001; Agustín Romano (Sci. Ann. Comput. Sci., 2016)

Towards formal model-based analysis and testing of Android's security mechanisms. - Gustavo Betarte; Juan Diego Campo; Maximiliano Cristiá; Felipe Gorostiaga; Carlos Luna 001; Camila Sanz (CLEI, 2017)

A Certified Reference Validation Mechanism for the Permission Model of Android. - Gustavo Betarte; Juan Diego Campo; Felipe Gorostiaga; Carlos Luna 001 (LOPSTR, 2017)

Improving Web Application Firewalls through Anomaly Detection. - Gustavo Betarte; Eduardo Giménez 001; Rodrigo Martínez; Álvaro Pardo (ICMLA, 2018)

Web Application Attacks Detection Using Machine Learning Techniques. - Gustavo Betarte; Álvaro Pardo; Rodrigo Martínez (ICMLA, 2018)

Offloading Cryptographic Services to the SIM Card. - Daniel Pedraja; Javier Baliosian; Gustavo Betarte (LADC, 2018)

Security in iOS and Android: A Comparative Analysis. - Raul Ignacio Galuppo; Carlos Luna 001; Gustavo Betarte (SCCC, 2018)

Security Analysis of Smart Grids. - Joaquín Márquez; Gabriel Rodríguez; Gustavo Betarte; Juan Diego Campo; Eduardo Grampín (SSN, 2018)

A formal approach for the verification of the permission-based security model of Android. - Carlos Luna 001; Gustavo Betarte; Juan Diego Campo; Camila Sanz; Maximiliano Cristiá; Felipe Gorostiaga (CLEI Electron. J., 2018)

Machine learning-assisted virtual patching of web applications. - Gustavo Betarte; Eduardo Giménez 001; Rodrigo Martínez; Álvaro Pardo (CoRR, 2018)

System-Level Non-interference of Constant-Time Cryptography. Part I: Model. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna 001 (J. Autom. Reason., 2019)

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. - Gustavo Betarte; Maximiliano Cristiá; Carlos Daniel Luna; Adrián Silveira; Dante Zanarini (ACNS Workshops, 2020)

System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory. - Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna 001; David Pichardie (J. Autom. Reason., 2020)

Web Application Attacks Detection Using Deep Learning. - Nicolás Montés; Gustavo Betarte; Rodrigo Martínez; Álvaro Pardo (CIARP, 2021)

Privacy-aware blockchain solutions: design and threat analysis. - Fernanda Molina; Gustavo Betarte; Carlos Luna 001 (CIbSE, 2021)

Proximity tracing applications for COVID-19: data privacy and security. - Gustavo Betarte; Juan Diego Campo; Andrea Delgado 001; Pablo Ezzatti; Laura González 001; Álvaro Martín; Rodrigo Martínez; Bárbara Muracciole (CLEI, 2021)

Exploring the Application of Process Mining Techniques to Improve Web Application Security. - Marcelo Bruno; Pablo Ibáñez 002; Tamara Techera; Daniel Calegari; Gustavo Betarte (CLEI, 2021)

Design principles for constructing GDPR-compliant blockchain solutions. - Fernanda Molina; Gustavo Betarte; Carlos Daniel Luna (WETSEB@ICSE, 2021)

Set-Based Models for Cryptocurrency Software. - Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001; Adrián Silveira; Dante Zanarini (CLEI Electron. J., 2021)

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. - Adrián Silveira; Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001 (Sensors, 2021)

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. - Adrián Silveira; Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001 (CLEI, 2022)

Contact tracing solutions for COVID-19: applications, data privacy and security. - Gustavo Betarte; Juan Diego Campo; Andrea Delgado 001; Laura González 001; Álvaro Martín; Rodrigo Martínez; Bárbara Muracciole (CLEI Electron. J., 2022)

A Security Analysis of a Referential Architecture of the FIWARE Platform. - Juan Pablo Perata; Gustavo Betarte (CLEI, 2023)

Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy. - Marcelo Rodríguez; Gustavo Betarte; Daniel Calegari (LADC, 2023)

Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks. - Nicolás Serrano; Gustavo Betarte; Juan Diego Campo (LADC, 2023)

A Blockchain based and GDPR-compliant design of a system for digital education certificates. - Fernanda Molina; Gustavo Betarte; Carlos Luna 001 (CLEI Electron. J., 2023)

Process Mining-Based Assessment of Cyber Range Trainings. - Guillermo Guerrero; Gustavo Betarte; Juan Diego Campo (CLEI, 2024)

Consent validation for personal data access control using ABAC. - Maria Molina; Gustavo Betarte; Carlos Daniel Luna (LADC, 2024)

Capturing the security expert knowledge in feature selection for web application attack detection. - Amanda Riverol; Gustavo Betarte; Rodrigo Martínez; Alvaro Pardo (LADC, 2024)

A Methodological Approach for the Security Analysis of FIWARE Technology. - Juan Pablo Perata; Gustavo Betarte (CLEI Electron. J., 2024)

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach. - Adrián Silveira; Gustavo Betarte; Carlos Luna 001 (CLEI Electron. J., 2024)

A process mining-based method for attacker profiling using the MITRE ATT&CK taxonomy. - Marcelo Rodríguez; Gustavo Betarte; Daniel Calegari (J. Internet Serv. Appl., 2024)

COVID-19 Mobile Applications: A Study of Trackers and Data Leaks. - Nicolás Serrano; Gustavo Betarte; Juan Diego Campo (J. Internet Serv. Appl., 2024)