Juan Diego Campo

20 papers A* 1A 1B 1C 5Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
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
COVID-19 Mobile Applications: A Study of Trackers and Data Leaks.
J. Internet Serv. Appl.
Nicolás Serrano, Gustavo Betarte, Juan Diego Campo
2024 C conf
Process Mining-Based Assessment of Cyber Range Trainings.
CLEI
Guillermo Guerrero, Gustavo Betarte, Juan Diego Campo
2023 — conf
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks.
LADC
Nicolás Serrano, Gustavo Betarte, Juan Diego Campo
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 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
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
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
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 — conf
Security Analysis of Smart Grids.
SSN
Joaquín Márquez, Gabriel Rodríguez, Gustavo Betarte, Juan Diego Campo, Eduardo Grampín
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
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 — 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 B conf
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.
FM
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna