Get started
Author

Juan Diego Campo

Observed names: Campo, Juan Diego, Juan Campo
ORCID: 0000-0001-5927-0708
Observed ORCID: 0000-0001-5927-0708
OpenAlex ID: A5025524567
System-level Non-interference for Constant-time Cryptography
2014 · Gilles Barthe, Gustavo Betarte, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 127
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization
2011 · Gilles Barthe, Gustavo Betarte, et al. · Lecture notes in computer science · 48
Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization
2012 · Gilles Barthe, Gustavo Betarte, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 38
Formal Analysis of Android's Permission-Based Security Model
2016 · Gustavo Betarte, Juan Campo, et al. · Scientific Annals of Computer Science · 16
PDF
System-Level Non-interference of Constant-Time Cryptography. Part I: Model
2017 · Gilles Barthe, Gustavo Betarte, et al. · Journal of Automated Reasoning · 15
Verifying Android’s Permission Model
2015 · Gustavo Betarte, Juan Diego Campo, et al. · Lecture notes in computer science · 13
Formally Verified Implementation of an Idealized Model of Virtualization
2014 · Barthe, Gilles, Betarte, Gustavo, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 10
PDF
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory
2020 · Gilles Barthe, Gustavo Betarte, et al. · Journal of Automated Reasoning · 8
A formal approach for the verification of the permission-based security model of Android
2018 · Carlos Luna, Gustavo Betarte, et al. · CLEI electronic journal · 8
PDF
Towards formal model-based analysis and testing of Android's security mechanisms
2017 · Gustavo Betarte, Juan Campo, et al. · Latin American Computer Conference (CLEI) · 7
Formally Verified Implementation of an Idealized Model of Virtualization.
2013 · Gilles Barthe, Gustavo Betarte, et al. · 5
A Certified Reference Validation Mechanism for the Permission Model of Android
2018 · Gustavo Betarte, Juan Campo, et al. · Lecture notes in computer science · 4
PDF
Tectonic: An Academic Cyber Range
2024 · Guillermo Guerrero, Gustavo Betarte, et al. · IEEE Biennial Congress of Argentina (ARGENCON) · 3
Process Mining-Based Assessment of Cyber Range Trainings
2024 · Guillermo Guerrero, Gustavo Betarte, et al. · Latin American Computer Conference (CLEI) · 3
Proximity tracing applications for COVID-19: data privacy and security
2021 · Gustavo Betarte, Juan Diego Campo, et al. · Latin American Computer Conference (CLEI) · 3
Contact tracing solutions for COVID-19: applications, data privacy and security
2022 · Gustavo Betarte, Juan Diego Campo, et al. · CLEI electronic journal · 2
PDF
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks
2023 · Nicolas Serrano, Gustavo Betarte, et al. · Latin-American Symposium on Dependable Computing · 1
PDF
Formally verified countermeasures against cache based attacks in virtualization platforms
2016 · Juan Diego Campo · Americanae (AECID Library) · 1
PDF
System-level non-interference for constant-time cryptography.
2014 · Gilles Barthe, Gustavo Betarte, et al. · 1
Generación de ambientes para entrenamiento en seguridad informática
2009 · Alejandro Blanco, Juan Diego Campo, et al. · Americanae (AECID Library) · 1
PDF
Decoding Guardrails: XAI-Guided Perturbation Analysis of Prompt Injection Detection
2026 · Outeda, Fernando, Betarte, Gustavo, et al. · arXiv (Cornell University)
PDF
COVID-19 Mobile Applications: A Study of Trackers and Data Leaks
2024 · Nicolás Serrano, Gustavo Betarte, et al. · Journal of Internet Services and Applications
Contact tracing solutions for COVID-19: applications, data privacy and security :: Suplementary Material
2021 · Betarte, Gustavo, Campo, Juan Diego, et al. · Zenodo (CERN European Organization for Nuclear Research)
Security Analysis of Smart Grids.
2018 · Joaquín Torres Márquez, Gabriel Rodríguez, et al.
Modelos de memoria en entornos de virtualización
2012 · Jesús Mauricio Chimento, Carlos Luna, et al. · Americanae (AECID Library)
PDF
Works count: 31
Citation count: 314
H-index: 8
I10-index: 7
Year
Topic
Type