Carlos Daniel Luna
Orcid: 0000-0002-9985-5927Affiliations:
- University of the Republic, Montevideo, Uruguay
According to our database1,
Carlos Daniel Luna
authored at least 50 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on fing.edu.uy
On csauthors.net:
Bibliography
2024
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach.
CLEI Electron. J., 2024
Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 2024
Proceedings of the L Latin American Computer Conference, 2024
2023
J. Autom. Reason., June, 2023
A Blockchain based and GDPR-compliant design of a system for digital education certificates.
CLEI Electron. J., May, 2023
Introduction to Strategic Planning as a Support Tool at the Beginning of a Computer Career.
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.
Proceedings of the XLVIII Latin American Computer Conference, 2022
2021
Proceedings of the 4th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2021
Proceedings of the 40th International Conference of the Chilean Computer Science Society, 2021
Privacy-aware blockchain solutions: design and threat analysis.
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.
J. Autom. Reason., 2020
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.
Proceedings of the Applied Cryptography and Network Security Workshops, 2020
2019
J. Autom. Reason., 2019
Mutants for Metric Temporal Logic Formulas.
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.
CLEI Electron. J., 2018
Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018
Proceedings of the XLIV Latin American Computer Conference, 2018
2017
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017
2016
Sci. Ann. Comput. Sci., 2016
Proceedings of the XLII Latin American Computing Conference, 2016
2015
Towards an automatic model transformation mechanism from UML state machines to DEVS models.
CLEI Electron. J., 2015
Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems.
CLEI Electron. J., 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
IACR Cryptol. ePrint Arch., 2014
Pedagogical Experiences in a Highly Populated Undergraduate Programming Course Teaching How to Develop Medium Size Information Systems.
CLEI Electron. J., 2014
Proceedings of the XL Latin American Computing Conference, 2014
2013
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.
Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013
2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
Delayed completion of Final Project of the career Computer Analyst: Seeking its causes.
Proceedings of the 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI), 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.
Proceedings of the FM 2011: Formal Methods, 2011
2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
2009
Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009
Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009
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.
Proceedings of the Types for Proofs and Programs, International Conference, 2008
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008
2006
Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006
2004
Computación y Sistemas, 2004
2001
1998
Our experiences teaching functional programming at University of Rio Cuarto (Argentina).
ACM SIGCSE Bull., 1998