C. Luna

发表

Electronic Communications of the EASST Volume 48 ( 2011 ) Proceedings of the Fifth International Workshop on Foundations and Techniques for Open source Software Certification ( OpernCert 2011 ) A Formal Specification of the DNSSEC Model

Ezequiel Bazan Eixarch, G. Betarte, C. Luna, 2012 .

An Automatically Verified Prototype of the Android Permissions System

G. D. Luca, C. Luna, Maximiliano Cristi'a, 2022, Journal of Automated Reasoning.

Reporte Técnico RT 08-07 A Formal Specification and Analysis of Access Control Models for Interactive Mobile Devices

G. Betarte, C. Luna, Juan Manuel Crespo, 2008 .

A Type-Theoretic Framework for Certified Model Transformations

Nora Szasz, Carlos Daniel Luna, Daniel Calegari, 2010, SBMF.

System-level Non-interference for Constant-time Cryptography

Gilles Barthe, David Pichardie, Gustavo Betarte, 2014, IACR Cryptol. ePrint Arch..

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems

Gustavo Betarte, Carlos Daniel Luna, G. Betarte, 2015, CLEI Electron. J..

Formally Verifying Isolation and Availability in an Idealized Model of Virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, 2011, FM.

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol

Gustavo Betarte, Carlos Luna, Adri'an Silveira, 2021, Sensors.

Design principles for constructing GDPR-compliant blockchain solutions

Gustavo Betarte, Carlos Daniel Luna, Fernanda Molina, 2021, 2021 IEEE/ACM 4th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB).

A Blockchain based and GDPR-compliant design of a system for digital education certificates pdf

Gustavo Betarte, Fernanda Molina, Carlos Luna, 2020, CLEI Electron. J..

A privacy and security-aware blockchain based design for a digital certificates system

C. Luna, Gustavo Betarte, Maŕıa Fernanda Molina, 2023 .

Set-Based Models for Cryptocurrency Software pdf

Gustavo Betarte, Carlos Daniel Luna, Dante Zanarini, 2019, CLEI Electron. J..

Towards an automatic model transformation mechanism from UML state machines to DEVS models

Carlos Daniel Luna, Marcela Daniele, Ariel Gonzalez, 2015, CLEI Electron. J..

Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.

System-Level Non-interference of Constant-Time Cryptography. Part I: Model

G. Barthe, C. Luna, J. Campo, 2019, Journal of Automated Reasoning.

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems

C. Luna, Gustavo Betarte, 2015, CLEI Electron. J..

A Formal Specification of the DNSSEC Model

Gustavo Betarte, Carlos Daniel Luna, Ezequiel Bazan Eixarch, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions

Carlos Daniel Luna, Dante Zanarini, Luis Sierra, 2012, SBMF.

A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices

Gustavo Betarte, Carlos Daniel Luna, Ramin Roushani Oskui, 2009, 2009 International Conference of the Chilean Computer Science Society.

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices

Juan Manuel Crespo, Gustavo Betarte, Carlos Daniel Luna, 2009, TYPES.

A Formal Specification of the MIDP 2.0 Security Model

Santiago Zanella Béguelin, Gustavo Betarte, Carlos Daniel Luna, 2006, Formal Aspects in Security and Trust.

Formal Analysis of Android's Permission-Based Security Model,

Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, 2016, Sci. Ann. Comput. Sci..

Formally Verified Implementation of an Idealized Model of Virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, 2013, TYPES.

System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory

Gilles Barthe, David Pichardie, Gustavo Betarte, 2020, Journal of Automated Reasoning.

System-Level Non-interference of Constant-Time Cryptography. Part I: Model

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, 2017, Journal of Automated Reasoning.

Formal Specification and Analysis of the MIDP 3.0 Security Model

Gustavo Betarte, Carlos Daniel Luna, Gustavo Mazeikis, 2009, 2009 International Conference of the Chilean Computer Science Society.

System-level Non-interference for Constant-time Cryptography

G. Barthe, David Pichardie, C. Luna, 2014, IACR Cryptol. ePrint Arch..