Juan Diego Campo

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 11

Top Topics

Cellular Automata

Top Venues

CLEI Electron. J.

J. Autom. Reason.

Publications

Nicolás Serrano, Gustavo Betarte, Juan Diego Campo
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks. 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)
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)
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)
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)
Joaquín Márquez, Gabriel Rodríguez, Gustavo Betarte, Juan Diego Campo, Eduardo Grampín
Security Analysis of Smart Grids. SSN (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, Juan Diego Campo, Carlos Luna, Agustín Romano
Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Comput. Sci. 26 (1) (2016)
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)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization. CSF (2012)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. FM (2011)