Seguir
Carlos Luna
Carlos Luna
Facultad de Ingeniería de la Universidad de la República (UDELAR)
Dirección de correo verificada de fing.edu.uy - Página principal
Título
Citado por
Citado por
Año
System-level non-interference for constant-time cryptography
G Barthe, G Betarte, J Campo, C Luna, D Pichardie
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1722014
Formally verifying isolation and availability in an idealized model of virtualization
G Barthe, G Betarte, JD Campo, C Luna
International Symposium on Formal Methods, 231-245, 2011
712011
A type-theoretic framework for certified model transformations
D Calegari, C Luna, N Szasz, Á Tasistro
Brazilian Symposium on Formal Methods, 112-127, 2010
502010
Cache-leakage resilient OS isolation in an idealized model of virtualization
G Barthe, G Betarte, JD Campo, C Luna
2012 IEEE 25th Computer Security Foundations Symposium, 186-197, 2012
492012
A formal specification of the MIDP 2.0 security model
S Zanella Béguelin, G Betarte, C Luna
International Workshop on Formal Aspects in Security and Trust, 220-234, 2006
242006
Formal Analysis of Android's Permission-Based Security Model.
G Betarte, J Campo, C Luna, A Romano
Scientific Annals of Computer Science 26 (1), 2016
232016
Formally verified implementation of an idealized model of virtualization
G Barthe, G Betarte, JD Campo, JM Chimento, C Luna
19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014
212014
Verifying android’s permission model
G Betarte, JD Campo, C Luna, A Romano
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
202015
Design principles for constructing GDPR-compliant blockchain solutions
F Molina, G Betarte, C Luna
2021 IEEE/ACM 4th International Workshop on Emerging Trends in Software …, 2021
152021
Towards a formally verified implementation of the mimblewimble cryptocurrency protocol
G Betarte, M Cristiá, C Luna, A Silveira, D Zanarini
Applied Cryptography and Network Security Workshops: ACNS 2020 Satellite …, 2020
152020
System-level non-interference of constant-time cryptography. Part I: model
G Barthe, G Betarte, JD Campo, C Luna
Journal of Automated Reasoning 63, 1-51, 2019
152019
System-Level Non-interference of Constant-Time Cryptography. Part I: Model
G Barthe, G Betarte, JD Campo, C Luna
Journal of Automated Reasoning 63 (1), 51, 2019
152019
Towards formal model-based analysis and testing of Android's security mechanisms
G Betarte, J Campo, M Cristiá, F Gorostiaga, C Luna, C Sanz
2017 XLIII Latin American Computer Conference (CLEI), 1-10, 2017
142017
Towards an automatic model transformation mechanism from UML state machines to DEVS models
A Gonzalez, C Luna, R Cuello, M Perez, M Daniele
CLEI electronic journal 18 (2), 4-4, 2015
142015
Behavior specification of product lines via feature models and UML statecharts with variabilities
A Gonzalez, C Luna
2008 International Conference of the Chilean Computer Science Society, 32-41, 2008
142008
Especificación formal del modelo de seguridad de MIDP 2.0 en el Cálculo de Construcciones Inductivas
S Zanella Béguelin
Master's thesis, Universidad Nacional de Rosario, 2006
132006
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol
A Silveira, G Betarte, M Cristiá, C Luna
Sensors - Special Issue Security, Trust and Privacy in New Computing …, 2021
122021
A formal analysis of the mimblewimble cryptocurrency protocol
A Silveira, G Betarte, M Cristiá, C Luna
Sensors 21 (17), 5951, 2021
122021
Estado del arte de lenguajes y herramientas de transformación de modelos
H Lopez, F Veresi, M Viñolo, D Calegari, C Luna
Reportes Técnicos 09-19, 2009
112009
Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio: the railroad crossing example
C Luna
UR. FI-INCO,, 2000
112000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20