Carlos Daniel Luna

According to our database1, Carlos Daniel Luna authored at least 37 papers between 1998 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
System-Level Non-interference of Constant-Time Cryptography. Part I: Model.
J. Autom. Reasoning, 2019

Set-Based Models for Cryptocurrency Software.
CoRR, 2019

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol.
CoRR, 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

Security in iOS and Android: A Comparative Analysis.
Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Mutation Testing for Java Based on Model-Driven Development.
Proceedings of the XLIV Latin American Computer Conference, 2018

2017
A certified reference validation mechanism for the permission model of Android.
CoRR, 2017

A Certified Reference Validation Mechanism for the Permission Model of Android.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Towards formal model-based analysis and testing of Android's security mechanisms.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

Kushkalla: A Web-Based Platform to Improve Functional Movement Rehabilitation.
Proceedings of the Technologies and Innovation - Third International Conference, 2017

2016
Formal Analysis of Android's Permission-Based Security Model, .
Sci. Ann. Comp. Sci., 2016

UML state machine as modeling language for DEVS formalism.
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

Verifying Android's Permission Model.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014
System-level non-interference for constant-time cryptography.
IACR Cryptology ePrint Archive, 2014

Pedagogical Experiences in a Highly Populated Undergraduate Programming Course Teaching How to Develop Medium Size Information Systems.
CLEI Electron. J., 2014

Metamodel-based transformation from UML state machines to DEVS models.
Proceedings of the XL Latin American Computing Conference, 2014

System-level Non-interference for Constant-time Cryptography.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
Formally Verified Implementation of an Idealized Model of Virtualization.
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
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization.
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
A Formal Specification of the DNSSEC Model.
ECEASST, 2011

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.
Proceedings of the FM 2011: Formal Methods, 2011

2010
A Type-Theoretic Framework for Certified Model Transformations.
Proceedings of the Formal Methods: Foundations and Applications, 2010

2009
Specification of Products and Product Lines
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.
Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

Formal Specification and Analysis of the MIDP 3.0 Security Model.
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
A Formal Specification of the MIDP 2.0 Security Model.
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.
Computación y Sistemas, 2004

2001
Una Generalizacion del Modelo AGM de Cambio de Creencias.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 2001

1998
Our experiences teaching functional programming at University of Rio Cuarto (Argentina).
SIGCSE Bulletin, 1998


  Loading...