Carlos Daniel Luna

16 papers A* 1C 4Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
A comparative study of implementations for validating consent in personal data access control.
CLEI
María Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
2024 — conf
Consent validation for personal data access control using ABAC.
LADC
Maria Molina, Gustavo Betarte, Carlos Daniel Luna
2024 J jnl
Verification of Quantitative Temporal Properties in RealTime-DEVS.
CoRR
Ariel Gonzalez, Maximiliano Cristiá, Carlos Daniel Luna
2022 J jnl
An Automatically Verified Prototype of the Android Permissions System.
CoRR
Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna
2021 J jnl
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol.
CoRR
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna
2021 — conf
Design principles for constructing GDPR-compliant blockchain solutions.
WETSEB@ICSE
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
2020 J jnl
A Blockchain based and GDPR-compliant design of a system for digital education certificates.
CoRR
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
2020 — conf
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.
ACNS Workshops
Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
2016 C conf
UML state machine as modeling language for DEVS formalism.
CLEI
Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella
2015 C conf
Verifying Android's Permission Model.
ICTAC
Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano
2014 C conf
Metamodel-based transformation from UML state machines to DEVS models.
CLEI
Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele
2014 A* conf
System-level Non-interference for Constant-time Cryptography.
CCS
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie
2011 J jnl
A Formal Specification of the DNSSEC Model.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna
2004 J jnl
Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos.
Computación y Sistemas
Carlos Daniel Luna
2001 J jnl
Una Generalizacion del Modelo AGM de Cambio de Creencias.
Inteligencia Artif.
Carlos Daniel Luna
1998 J jnl
Our experiences teaching functional programming at University of Rio Cuarto (Argentina).
ACM SIGCSE Bull.
Ariel Ferreira Szpiniak, Carlos Daniel Luna, Ricardo H. Medel