Carlos Daniel Luna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CLEI | A comparative study of implementations for validating consent in personal data access control. | Mara Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna |
| 2020 | ACNS | Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. | Gustavo Betarte, Maximiliano Cristi, Carlos Daniel Luna, Adrin Silveira, Dante Zanarini |
| 2016 | CLEI | UML state machine as modeling language for DEVS formalism. | Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella |
| 2015 | ICTAC | Verifying Android's Permission Model. | Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustn Romano |
| 2014 | CCS | System-level Non-interference for Constant-time Cryptography. | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie |
| 2014 | CLEI | Metamodel-based transformation from UML state machines to DEVS models. | Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele |