Carlos Luna

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