Carlos Luna

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 25

Top Topics

Formal Analysis

Metric Temporal Logic

Top Venues

CLEI Electron. J.

Publications

Hernán Astudillo, Carlos Luna, José Miguel Rojas
Preface to the CLEI 2023 Special Issue. CLEI Electron. J. 27 (2) (2024)
Fernanda Molina, Gustavo Betarte, Carlos Luna
A Blockchain based and GDPR-compliant design of a system for digital education certificates. CLEI Electron. J. 26 (1) (2023)
Maximiliano Cristiá, Guido De Luca, Carlos Luna
An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. 67 (2) (2023)
Carlos Luna
Introduction to Strategic Planning as a Support Tool at the Beginning of a Computer Career. SCCC (2023)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI (2022)
Fernanda Molina, Gustavo Betarte, Carlos Luna
Privacy-aware blockchain solutions: design and threat analysis. CIbSE (2021)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24 (3) (2021)
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
Error Finding in Real-Time Systems using Mutants of Temporal Properties. SCCC (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors 21 (17) (2021)
Guido De Luca, Carlos Luna
Towards a certified reference monitor of the Android 10 permission system. CoRR (2020)
Guido De Luca, Carlos Luna
Towards a Certified Reference Monitor of the Android 10 Permission System. TYPES (2020)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory. J. Autom. Reason. 64 (8) (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CoRR (2019)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR (2019)
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
Mutants for Metric Temporal Logic Formulas. CIbSE (2019)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
System-Level Non-interference of Constant-Time Cryptography. Part I: Model. J. Autom. Reason. 63 (1) (2019)
Ariel Gonzalez, Carlos Luna, Gonzalo Bressan
Mutation Testing for Java Based on Model-Driven Development. CLEI (2018)
Raul Ignacio Galuppo, Carlos Luna, Gustavo Betarte
Security in iOS and Android: A Comparative Analysis. SCCC (2018)
Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga
A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. 21 (2) (2018)
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna
A Certified Reference Validation Mechanism for the Permission Model of Android. LOPSTR (2017)
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna
A certified reference validation mechanism for the permission model of Android. CoRR (2017)
Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz
Towards formal model-based analysis and testing of Android's security mechanisms. CLEI (2017)
Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano
Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Comput. Sci. 26 (1) (2016)
Gustavo Betarte, Carlos Luna
Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems. CLEI Electron. J. 18 (3) (2015)
Ariel Gonzalez, Carlos Luna, Marcela Daniele, Roque Cuello, Marcela Perez
Towards an automatic model transformation mechanism from UML state machines to DEVS models. CLEI Electron. J. 18 (2) (2015)
Lorena Etcheverry, Carlos Luna, Libertad Tansini
Pedagogical Experiences in a Highly Populated Undergraduate Programming Course Teaching How to Develop Medium Size Information Systems. CLEI Electron. J. 17 (3) (2014)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie
System-level non-interference for constant-time cryptography. IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna
Formally Verified Implementation of an Idealized Model of Virtualization. TYPES (2013)
Ariel Gonzalez, Fabio Zorzan, Carlos Luna, Nora Szasz
Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software. CIbSE (2013)
Fabio Zorzan, Mariana Frutos, Ariel Arsaute, Marcela Daniele, Paola Martellotto, Marcelo Uva, Carlos Luna
Delayed completion of Final Project of the career Computer Analyst: Seeking its causes. CLEI (2012)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization. CSF (2012)
Dante Zanarini, Carlos Luna, Luis Sierra
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. SBMF (2012)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. FM (2011)
Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro
A Type-Theoretic Framework for Certified Model Transformations. SBMF (2010)
Gustavo Mazeikis, Gustavo Betarte, Carlos Luna
Formal Specification and Analysis of the MIDP 3.0 Security Model. SCCC (2009)
Ariel Gonzalez, Carlos Luna
Specification of Products and Product Lines WRS (2009)
Ramin Roushani Oskui, Gustavo Betarte, Carlos Luna
A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices. SCCC (2009)
Ariel Gonzalez, Carlos Luna
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. SCCC (2008)
Juan Manuel Crespo, Gustavo Betarte, Carlos Luna
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES (2008)
Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna
A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust (2006)