Juan Diego Campo

According to our database, Juan Diego Campo authored at least 12 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie

J. Autom. Reason., 2020

2019

System-Level Non-interference of Constant-Time Cryptography. Part I: Model.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

J. Autom. Reason., 2019

2018

A formal approach for the verification of the permission-based security model of Android.

Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga

CLEI Electron. J., 2018

Security Analysis of Smart Grids.

Joaquín Márquez, Gabriel Rodríguez, Gustavo Betarte, Juan Diego Campo, Eduardo Grampín

Proceedings of the IV School on Systems and Networks, 2018

2017

A Certified Reference Validation Mechanism for the Permission Model of Android.

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

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

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2016

Formal Analysis of Android's Permission-Based Security Model, .

Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano

Sci. Ann. Comput. Sci., 2016

2015

Verifying Android's Permission Model.

Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

System-level non-interference for constant-time cryptography.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie

IACR Cryptol. ePrint Arch., 2014

2013

Formally Verified Implementation of an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

2012

Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Proceedings of the FM 2011: Formal Methods, 2011