Juan Diego Campo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2011–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CLEI | Process Mining-Based Assessment of Cyber Range Trainings. | Guillermo Guerrero, Gustavo Betarte, Juan Diego Campo |
| 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 |
| 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 | 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 |
| 2011 | FM | Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna |