Gustavo Betarte

According to our database, Gustavo Betarte authored at least 43 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Blockchain based and GDPR-compliant design of a system for digital education certificates.

Fernanda Molina, Gustavo Betarte, Carlos Luna

CLEI Electron. J., May, 2023

Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks.

Nicolás Serrano, Gustavo Betarte, Juan Diego Campo

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy.

Marcelo Rodríguez, Gustavo Betarte, Daniel Calegari

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

A Security Analysis of a Referential Architecture of the FIWARE Platform.

Juan Pablo Perata, Gustavo Betarte

Proceedings of the XLIX Latin American Computer Conference, 2023

2022

Contact tracing solutions for COVID-19: applications, data privacy and security.

Gustavo Betarte, Juan Diego Campo, Andrea Delgado, Laura González, Álvaro Martín, Rodrigo Martínez, Bárbara Muracciole

CLEI Electron. J., 2022

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol.

Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Proceedings of the XLVIII Latin American Computer Conference, 2022

2021

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol.

Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Sensors, 2021

Set-Based Models for Cryptocurrency Software.

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

CLEI Electron. J., 2021

Design principles for constructing GDPR-compliant blockchain solutions.

Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna

Proceedings of the 4th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2021

Exploring the Application of Process Mining Techniques to Improve Web Application Security.

Marcelo Bruno, Pablo Ibáñez, Tamara Techera, Daniel Calegari, Gustavo Betarte

Proceedings of the XLVII Latin American Computing Conference, 2021

Proximity tracing applications for COVID-19: data privacy and security.

Gustavo Betarte, Juan Diego Campo, Andrea Delgado, Pablo Ezzatti, Laura González, Álvaro Martín, Rodrigo Martínez, Bárbara Muracciole

Proceedings of the XLVII Latin American Computing Conference, 2021

Privacy-aware blockchain solutions: design and threat analysis.

Fernanda Molina, Gustavo Betarte, Carlos Luna

Proceedings of the 24th Iberoamerican Conference on Software Engineering, 2021

Web Application Attacks Detection Using Deep Learning.

Nicolás Montés, Gustavo Betarte, Rodrigo Martínez, Álvaro Pardo

Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2021

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, David Pichardie

J. Autom. Reason., 2020

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019

System-Level Non-interference of Constant-Time Cryptography. Part I: Model.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

J. Autom. Reason., 2019

2018

Machine learning-assisted virtual patching of web applications.

Gustavo Betarte, Eduardo Giménez, Rodrigo Martínez, Álvaro Pardo

CoRR, 2018

A formal approach for the verification of the permission-based security model of Android.

Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga

CLEI Electron. J., 2018

Security Analysis of Smart Grids.

Joaquín Márquez, Gabriel Rodríguez, Gustavo Betarte, Juan Diego Campo, Eduardo Grampín

Proceedings of the IV School on Systems and Networks, 2018

Security in iOS and Android: A Comparative Analysis.

Raul Ignacio Galuppo, Carlos Luna, Gustavo Betarte

Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Offloading Cryptographic Services to the SIM Card.

Daniel Pedraja, Javier Baliosian, Gustavo Betarte

Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

Web Application Attacks Detection Using Machine Learning Techniques.

Gustavo Betarte, Álvaro Pardo, Rodrigo Martínez

Proceedings of the 17th IEEE International Conference on Machine Learning and Applications, 2018

Improving Web Application Firewalls through Anomaly Detection.

Gustavo Betarte, Eduardo Giménez, Rodrigo Martínez, Álvaro Pardo

Proceedings of the 17th IEEE International Conference on Machine Learning and Applications, 2018

2017

A Certified Reference Validation Mechanism for the Permission Model of Android.

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Towards formal model-based analysis and testing of Android's security mechanisms.

Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2016

Formal Analysis of Android's Permission-Based Security Model, .

Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano

Sci. Ann. Comput. Sci., 2016

Towards Model-Driven Virtual Patching for Web Applications.

Gustavo Betarte, Rodrigo De La Fuente, Rodrigo Martínez, Juan Pirez, Felipe Zipitria

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

2015

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems.

Gustavo Betarte, Carlos Luna

CLEI Electron. J., 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, Amedeo Napoli

Proceedings of the 4th International Workshop "What can FCA do for Artificial Intelligence?", 2015

Verifying Android's Permission Model.

Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

System-level non-interference for constant-time cryptography.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie

IACR Cryptol. ePrint Arch., 2014

2013

Formally Verified Implementation of an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Design and implementation of a computer security Diploma.

Gustavo Betarte, Maria E. Corti

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2012

Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

A Formal Specification of the DNSSEC Model.

Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Towards machine-assisted formal procedures for the collection of digital evidence.

Martín Barrère, Gustavo Betarte, Marcelo Rodríguez

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Proceedings of the FM 2011: Formal Methods, 2011

2009

A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices.

Ramin Roushani Oskui, Gustavo Betarte, Carlos Luna

Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

Formal Specification and Analysis of the MIDP 3.0 Security Model.

Gustavo Mazeikis, Gustavo Betarte, Carlos Luna

Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

2008

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices.

Juan Manuel Crespo, Gustavo Betarte, Carlos Luna

Proceedings of the Types for Proofs and Programs, International Conference, 2008

2006

A Formal Specification of the MIDP 2.0 Security Model.

Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2000

Type checking dependent (record) types and subtyping.

Gustavo Betarte

J. Funct. Program., 2000

1999

Specification of a Smart Card Operating System.

Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro

Proceedings of the Types for Proofs and Programs, 1999