Gustavo Betarte

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 33

Top Topics

Web Applications

Top Venues

CLEI Electron. J.

Publications

Amanda Riverol, Gustavo Betarte, Rodrigo Martínez, Álvaro Pardo
Capturing the security expert knowledge in feature selection for web application attack detection. CoRR (2024)
Juan Pablo Perata, Gustavo Betarte
A Security Analysis of a Referential Architecture of the FIWARE Platform. CLEI (2023)
Fernanda Molina, Gustavo Betarte, Carlos Luna
A Blockchain based and GDPR-compliant design of a system for digital education certificates. CLEI Electron. J. 26 (1) (2023)
Nicolás Serrano, Gustavo Betarte, Juan Diego Campo
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks. LADC (2023)
Marcelo Rodríguez, Gustavo Betarte, Daniel Calegari
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy. LADC (2023)
Gustavo Betarte, Juan Diego Campo, Andrea Delgado, Laura González, Álvaro Martín, Rodrigo Martínez, Bárbara Muracciole
Contact tracing solutions for COVID-19: applications, data privacy and security. CLEI Electron. J. 25 (2) (2022)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI (2022)
Gustavo Betarte, Juan Diego Campo, Andrea Delgado, Pablo Ezzatti, Laura González, Álvaro Martín, Rodrigo Martínez, Bárbara Muracciole
Proximity tracing applications for COVID-19: data privacy and security. CLEI (2021)
Fernanda Molina, Gustavo Betarte, Carlos Luna
Privacy-aware blockchain solutions: design and threat analysis. CIbSE (2021)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24 (3) (2021)
Nicolás Montés, Gustavo Betarte, Rodrigo Martínez, Álvaro Pardo
Web Application Attacks Detection Using Deep Learning. CIARP (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors 21 (17) (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR (2021)
Marcelo Bruno, Pablo Ibáñez, Tamara Techera, Daniel Calegari, Gustavo Betarte
Exploring the Application of Process Mining Techniques to Improve Web Application Security. CLEI (2021)
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
Design principles for constructing GDPR-compliant blockchain solutions. WETSEB@ICSE (2021)
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
A Blockchain based and GDPR-compliant design of a system for digital education certificates. CoRR (2020)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory. J. Autom. Reason. 64 (8) (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CoRR (2019)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR (2019)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
System-Level Non-interference of Constant-Time Cryptography. Part I: Model. J. Autom. Reason. 63 (1) (2019)
Gustavo Betarte, Álvaro Pardo, Rodrigo Martínez
Web Application Attacks Detection Using Machine Learning Techniques. ICMLA (2018)
Joaquín Márquez, Gabriel Rodríguez, Gustavo Betarte, Juan Diego Campo, Eduardo Grampín
Security Analysis of Smart Grids. SSN (2018)
Daniel Pedraja, Javier Baliosian, Gustavo Betarte
Offloading Cryptographic Services to the SIM Card. LADC (2018)
Gustavo Betarte, Eduardo Giménez, Rodrigo Martínez, Álvaro Pardo
Machine learning-assisted virtual patching of web applications. CoRR (2018)
Gustavo Betarte, Eduardo Giménez, Rodrigo Martínez, Álvaro Pardo
Improving Web Application Firewalls through Anomaly Detection. ICMLA (2018)
Raul Ignacio Galuppo, Carlos Luna, Gustavo Betarte
Security in iOS and Android: A Comparative Analysis. SCCC (2018)
Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga
A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. 21 (2) (2018)
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna
A Certified Reference Validation Mechanism for the Permission Model of Android. LOPSTR (2017)
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna
A certified reference validation mechanism for the permission model of Android. CoRR (2017)
Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz
Towards formal model-based analysis and testing of Android's security mechanisms. CLEI (2017)
Gustavo Betarte, Rodrigo De La Fuente, Rodrigo Martínez, Juan Pirez, Felipe Zipitria
Towards Model-Driven Virtual Patching for Web Applications. LADC (2016)
Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano
Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Comput. Sci. 26 (1) (2016)
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, Amedeo Napoli
Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery. FCA4AI@IJCAI (2015)
Gustavo Betarte, Carlos Luna
Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems. CLEI Electron. J. 18 (3) (2015)
Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano
Verifying Android's Permission Model. ICTAC (2015)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie
System-level non-interference for constant-time cryptography. IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie
System-level Non-interference for Constant-time Cryptography. CCS (2014)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna
Formally Verified Implementation of an Idealized Model of Virtualization. TYPES (2013)
Gustavo Betarte, Maria E. Corti
Design and implementation of a computer security Diploma. CLEI (2013)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization. CSF (2012)
Martín Barrère, Gustavo Betarte, Marcelo Rodríguez
Towards machine-assisted formal procedures for the collection of digital evidence. PST (2011)
Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna
A Formal Specification of the DNSSEC Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. FM (2011)
Gustavo Mazeikis, Gustavo Betarte, Carlos Luna
Formal Specification and Analysis of the MIDP 3.0 Security Model. SCCC (2009)
Ramin Roushani Oskui, Gustavo Betarte, Carlos Luna
A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices. SCCC (2009)
Juan Manuel Crespo, Gustavo Betarte, Carlos Luna
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES (2008)
Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna
A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust (2006)
Gustavo Betarte
Type checking dependent (record) types and subtyping. J. Funct. Program. 10 (2) (2000)
Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro
Specification of a Smart Card Operating System. TYPES (1999)