Carlos Daniel Luna

According to our database, Carlos Daniel Luna authored at least 49 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of Quantitative Temporal Properties in RealTime-DEVS.

Ariel Gonzalez, Maximiliano Cristiá, Carlos Daniel Luna

CoRR, 2024

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach.

Adrián Silveira, Gustavo Betarte, Carlos Luna

CLEI Electron. J., 2024

Preface to the CLEI 2023 Special Issue - Volume II.

Hernán Astudillo, Carlos Luna, José Miguel Rojas

CLEI Electron. J., 2024

Preface to the CLEI 2023 Special Issue.

Hernán Astudillo, Carlos Luna, José Miguel Rojas

CLEI Electron. J., 2024

Analysis of Security Permissions on Android and iOS from a Privacy Perspective.

Carlos Luna, Raul Ignacio Galuppo

Proceedings of the L Latin American Computer Conference, 2024

2023

An Automatically Verified Prototype of the Android Permissions System.

Maximiliano Cristiá, Guido De Luca, Carlos Luna

J. Autom. Reason., June, 2023

A Blockchain based and GDPR-compliant design of a system for digital education certificates.

Fernanda Molina, Gustavo Betarte, Carlos Luna

CLEI Electron. J., May, 2023

Introduction to Strategic Planning as a Support Tool at the Beginning of a Computer Career.

Carlos Luna

Proceedings of the 42nd IEEE International Conference of the Chilean Computer Science Society, 2023

2022

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol.

Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Proceedings of the XLVIII Latin American Computer Conference, 2022

2021

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol.

Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna

Sensors, 2021

Set-Based Models for Cryptocurrency Software.

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

CLEI Electron. J., 2021

Design principles for constructing GDPR-compliant blockchain solutions.

Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna

Proceedings of the 4th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2021

Error Finding in Real-Time Systems using Mutants of Temporal Properties.

Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna

Proceedings of the 40th International Conference of the Chilean Computer Science Society, 2021

Privacy-aware blockchain solutions: design and threat analysis.

Fernanda Molina, Gustavo Betarte, Carlos Luna

Proceedings of the 24th Iberoamerican Conference on Software Engineering, 2021

2020

System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie

J. Autom. Reason., 2020

Towards a Certified Reference Monitor of the Android 10 Permission System.

Guido De Luca, Carlos Luna

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019

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

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

J. Autom. Reason., 2019

Mutants for Metric Temporal Logic Formulas.

Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna

Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018

A formal approach for the verification of the permission-based security model of Android.

Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga

CLEI Electron. J., 2018

Security in iOS and Android: A Comparative Analysis.

Raul Ignacio Galuppo, Carlos Luna, Gustavo Betarte

Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Mutation Testing for Java Based on Model-Driven Development.

Ariel Gonzalez, Carlos Luna, Gonzalo Bressan

Proceedings of the XLIV Latin American Computer Conference, 2018

2017

A Certified Reference Validation Mechanism for the Permission Model of Android.

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Towards formal model-based analysis and testing of Android's security mechanisms.

Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2016

Formal Analysis of Android's Permission-Based Security Model, .

Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano

Sci. Ann. Comput. Sci., 2016

UML state machine as modeling language for DEVS formalism.

Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella

Proceedings of the XLII Latin American Computing Conference, 2016

2015

Towards an automatic model transformation mechanism from UML state machines to DEVS models.

Ariel Gonzalez, Carlos Luna, Marcela Daniele, Roque Cuello, Marcela Perez

CLEI Electron. J., 2015

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems.

Gustavo Betarte, Carlos Luna

CLEI Electron. J., 2015

Verifying Android's Permission Model.

Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

System-level non-interference for constant-time cryptography.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie

IACR Cryptol. ePrint Arch., 2014

Pedagogical Experiences in a Highly Populated Undergraduate Programming Course Teaching How to Develop Medium Size Information Systems.

Lorena Etcheverry, Carlos Luna, Libertad Tansini

CLEI Electron. J., 2014

Metamodel-based transformation from UML state machines to DEVS models.

Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele

Proceedings of the XL Latin American Computing Conference, 2014

2013

Formally Verified Implementation of an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software.

Ariel Gonzalez, Fabio Zorzan, Carlos Luna, Nora Szasz

Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2012

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.

Dante Zanarini, Carlos Luna, Luis Sierra

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

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

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Delayed completion of Final Project of the career Computer Analyst: Seeking its causes.

Fabio Zorzan, Mariana Frutos, Ariel Arsaute, Marcela Daniele, Paola Martellotto, Marcelo Uva, Carlos Luna

Proceedings of the 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI), 2012

2011

A Formal Specification of the DNSSEC Model.

Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna

Proceedings of the FM 2011: Formal Methods, 2011

2010

A Type-Theoretic Framework for Certified Model Transformations.

Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Specification of Products and Product Lines

Ariel Gonzalez, Carlos Luna

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices.

Ramin Roushani Oskui, Gustavo Betarte, Carlos Luna

Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

Formal Specification and Analysis of the MIDP 3.0 Security Model.

Gustavo Mazeikis, Gustavo Betarte, Carlos Luna

Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

2008

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices.

Juan Manuel Crespo, Gustavo Betarte, Carlos Luna

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.

Ariel Gonzalez, Carlos Luna

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

2006

A Formal Specification of the MIDP 2.0 Security Model.

Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2004

Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos.

Carlos Daniel Luna

Computación y Sistemas, 2004

2001

Una Generalizacion del Modelo AGM de Cambio de Creencias.

Carlos Daniel Luna

Inteligencia Artif., 2001

1998

Our experiences teaching functional programming at University of Rio Cuarto (Argentina).

Ariel Ferreira Szpiniak, Carlos Daniel Luna, Ricardo H. Medel

ACM SIGCSE Bull., 1998