Gustavo Betarte

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