Gustavo Betarte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
10
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CLEI | A comparative study of implementations for validating consent in personal data access control. | Mara Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna |
| 2024 | CLEI | Process Mining-Based Assessment of Cyber Range Trainings. | Guillermo Guerrero, Gustavo Betarte, Juan Diego Campo |
| 2023 | CLEI | A Security Analysis of a Referential Architecture of the FIWARE Platform. | Juan Pablo Perata, Gustavo Betarte |
| 2022 | CLEI | An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. | Adrin Silveira, Gustavo Betarte, Maximiliano Cristi, Carlos Luna |
| 2021 | CIARP | Web Application Attacks Detection Using Deep Learning. | Nicols Monts, Gustavo Betarte, Rodrigo Martnez, lvaro Pardo |
| 2021 | CLEI | Proximity tracing applications for COVID-19: data privacy and security. | Gustavo Betarte, Juan Diego Campo, Andrea Delgado, Pablo Ezzatti, Laura Gonzlez, lvaro Martn, Rodrigo Martnez, Brbara Muracciole |
| 2021 | CLEI | Exploring the Application of Process Mining Techniques to Improve Web Application Security. | Marcelo Bruno, Pablo Ibez, Tamara Techera, Daniel Calegari, Gustavo Betarte |
| 2020 | ACNS | Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. | Gustavo Betarte, Maximiliano Cristi, Carlos Daniel Luna, Adrin Silveira, Dante Zanarini |
| 2018 | ICMLA | Improving Web Application Firewalls through Anomaly Detection. | Gustavo Betarte, Eduardo Gimnez, Rodrigo Martnez, lvaro Pardo |
| 2018 | ICMLA | Web Application Attacks Detection Using Machine Learning Techniques. | Gustavo Betarte, lvaro Pardo, Rodrigo Martnez |
| 2017 | CLEI | 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 |
| 2017 | LOPSTR | A Certified Reference Validation Mechanism for the Permission Model of Android. | Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna |
| 2015 | IJCAI | Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery. | Martn Barrre, Gustavo Betarte, Vctor Codocedo, Marcelo Rodrguez, Hernn Astudillo, Marcelo Aliquintuy, Javier Baliosian, Remi Badonnel, Olivier Festor, Carlos Raniery Paula dos Santos, Jferson Campos Nobre, Lisandro Zambenedetti Granville, Amedeo Napoli |
| 2015 | ICTAC | Verifying Android's Permission Model. | Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustn Romano |
| 2014 | CCS | System-level Non-interference for Constant-time Cryptography. | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie |
| 2013 | CLEI | Design and implementation of a computer security Diploma. | Gustavo Betarte, Maria E. Corti |
| 2011 | FM | Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna |
| 2011 | PST | Towards machine-assisted formal procedures for the collection of digital evidence. | Martn Barrre, Gustavo Betarte, Marcelo Rodrguez |