Concepedia

Carlos Luna

CL

8

Publications

229

Citations

8

H-Index

2012

Active since

Affiliations

Universidad de la República de Uruguay(Current)

IMDEA Software Institute

Madrid Institute for Advanced Studies

Carlos Luna is an author at Universidad de la República de Uruguay specializing in engineering, data security, and computer science.

Top concepts

EngineeringData SecurityComputer ScienceSystem SoftwareHardware SecurityFormal VerificationComputer EngineeringInformation SecurityCryptographyData Privacy

Publications per year

2012–2023

8

Publications

8

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

Design principles for constructing GDPR-compliant blockchain solutions

Fernanda Molina, Gustavo Betarte, Carlos Luna · 2021 · 13 citations

Privacy Requirements, Engineering, Operational Off-chain Constructs +17

Rows per page

1–5 of 8