Carlos Daniel Luna

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 7

Top Topics

Modeling Language

Design Principles

Top Venues

Publications

Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna
An Automatically Verified Prototype of the Android Permissions System. CoRR (2022)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR (2021)
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
Design principles for constructing GDPR-compliant blockchain solutions. WETSEB@ICSE (2021)
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna
A Blockchain based and GDPR-compliant design of a system for digital education certificates. CoRR (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops (2020)
Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella
UML state machine as modeling language for DEVS formalism. CLEI (2016)
Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano
Verifying Android's Permission Model. ICTAC (2015)
Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele
Metamodel-based transformation from UML state machines to DEVS models. CLEI (2014)
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie
System-level Non-interference for Constant-time Cryptography. CCS (2014)
Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna
A Formal Specification of the DNSSEC Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
Carlos Daniel Luna
Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos. Computación y Sistemas 8 (1) (2004)
Carlos Daniel Luna
Una Generalizacion del Modelo AGM de Cambio de Creencias. Inteligencia Artif. 5 (13) (2001)
Ariel Ferreira Szpiniak, Carlos Daniel Luna, Ricardo H. Medel
Our experiences teaching functional programming at University of Rio Cuarto (Argentina). ACM SIGCSE Bull. 30 (2) (1998)