Concepedia

Juan Diego Campo

JD

5

Publications

196

Citations

5

H-Index

2012

Active since

Affiliations

Universidad de la República de Uruguay(Current)

IMDEA Software Institute

Madrid Institute for Advanced Studies

Juan Diego Campo is an author at Universidad de la República de Uruguay specializing in data security, hardware security, and engineering.

Top concepts

EngineeringData SecurityComputer ScienceHardware SecuritySystem SoftwareOperating SystemsFormal VerificationComputer EngineeringInformation SecurityCryptography

Publications per year

2012–2017

5

Publications

5

System-level Non-interference for Constant-time Cryptography

Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · 2014 · 117 citations

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

Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · 2012 · 37 citations

Engineering, Information Security, Coqproof Assistant +20

Formal Analysis of Android's Permission-Based Security Model

Gustavo Betarte, Juan Diego Campo, Carlos Luna et al. · Scientific Annals of Computer Science · 2016 · 17 citations · Full text

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

Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · Journal of Automated Reasoning · 2017 · 15 citations

Hardware Security, Cryptographic Primitive, Engineering +8

Formally Verified Implementation of an Idealized Model of Virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014 · 10 citations · Full text

Hypervisor Actions, Engineering, Axiomatic Semantics +18

Rows per page

1–5 of 5