Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Carlos Daniel Luna

Carlos Luna 0001

> Home > Persons

Person information

affiliation: University of the Republic, Montevideo, Uruguay

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/AstudilloLR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/AstudilloLR24
Hernán Astudillo, Carlos Luna, José Miguel Rojas:
Preface to the CLEI 2023 Special Issue. CLEI Electron. J. 27(2) (2024)
2023
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/MolinaBL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/MolinaBL23
Fernanda Molina, Gustavo Betarte, Carlos Luna:
A Blockchain based and GDPR-compliant design of a system for digital education certificates. CLEI Electron. J. 26(1) (2023)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CristiaLL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CristiaLL23
Maximiliano Cristiá, Guido De Luca, Carlos Luna:
An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. 67(2): 17 (2023)
2021
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/BetarteCLSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/BetarteCLSZ21
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini:
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24(3) (2021)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/SilveiraBC021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/SilveiraBC021
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna:
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors 21(17): 5951 (2021)
2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BartheBC0P20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BartheBC0P20
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie:
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory. J. Autom. Reason. 64(8): 1685-1729 (2020)
2019
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BartheBCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BartheBCL19
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna:
System-Level Non-interference of Constant-Time Cryptography. Part I: Model. J. Autom. Reason. 63(1): 1-51 (2019)
2018
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/LunaBCSCG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/LunaBCSCG18
Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga:
A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. 21(2) (2018)
2016
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cuza/BetarteCLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BetarteCLR16
Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano:
Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Comput. Sci. 26(1): 27-68 (2016)
2015
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/GonzalezLDCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/GonzalezLDCP15
Ariel Gonzalez, Carlos Luna, Marcela Daniele, Roque Cuello, Marcela Perez:
Towards an automatic model transformation mechanism from UML state machines to DEVS models. CLEI Electron. J. 18(2) (2015)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/BetarteL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/BetarteL15
Gustavo Betarte, Carlos Luna:
Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems. CLEI Electron. J. 18(3): 3 (2015)
2014
[j5]
- view
  - electronic edition @ clei.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cleiej/EtcheverryLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/EtcheverryLT14
Lorena Etcheverry, Carlos Luna, Libertad Tansini:
Pedagogical Experiences in a Highly Populated Undergraduate Programming Course Teaching How to Develop Medium Size Information Systems. CLEI Electron. J. 17(3) (2014)
2011
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/EixarchBL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/EixarchBL11
Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna:
A Formal Specification of the DNSSEC Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
2004
[j3]
- view
  - electronic edition @ ipn.mx (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cys/Luna04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/Luna04
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)
2001
[j2]
- view
  - electronic edition @ iberamia.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/aepia/Luna01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aepia/Luna01
Carlos Daniel Luna:
Una Generalizacion del Modelo AGM de Cambio de Creencias. Inteligencia Artif. 5(13): 23-32 (2001)
1998
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcse/SzpiniakLM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcse/SzpiniakLM98
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): 28-30 (1998)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/Luna23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/Luna23
Carlos Luna:
Introduction to Strategic Planning as a Support Tool at the Beginning of a Computer Career. SCCC 2023: 1-8
2022
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/SilveiraBCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/SilveiraBCL22
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna:
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI 2022: 1-10
2021
[c27]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cibse/MolinaB021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibse/MolinaB021
Fernanda Molina, Gustavo Betarte, Carlos Luna:
Privacy-aware blockchain solutions: design and threat analysis. CIbSE 2021: 150-163
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/GonzalezCL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/GonzalezCL21
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna:
Error Finding in Real-Time Systems using Mutants of Temporal Properties. SCCC 2021: 1-8
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/wetseb-ws/MolinaBL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetseb-ws/MolinaBL21
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna:
Design principles for constructing GDPR-compliant blockchain solutions. WETSEB@ICSE 2021: 1-8
2020
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/acns/BetarteCLSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acns/BetarteCLSZ20
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: 3-23
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/types/Luca020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Luca020
Guido De Luca, Carlos Luna:
Towards a Certified Reference Monitor of the Android 10 Permission System. TYPES 2020: 3:1-3:18
2019
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cibse/GonzalezCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibse/GonzalezCL19
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna:
Mutants for Metric Temporal Logic Formulas. CIbSE 2019: 349-362
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/GonzalezLB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/GonzalezLB18
Ariel Gonzalez, Carlos Luna, Gonzalo Bressan:
Mutation Testing for Java Based on Model-Driven Development. CLEI 2018: 1-10
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/GaluppoLB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/GaluppoLB18
Raul Ignacio Galuppo, Carlos Luna, Gustavo Betarte:
Security in iOS and Android: A Comparative Analysis. SCCC 2018: 1-8
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/BetarteCCGLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/BetarteCCGLS17
Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz:
Towards formal model-based analysis and testing of Android's security mechanisms. CLEI 2017: 1-10
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BetarteCGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BetarteCGL17
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna:
A Certified Reference Validation Mechanism for the Permission Model of Android. LOPSTR 2017: 271-288
2016
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/GonzalezLA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/GonzalezLA16
Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella:
UML state machine as modeling language for DEVS formalism. CLEI 2016: 1-12
2015
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BetarteCLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BetarteCLR15
Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano:
Verifying Android's Permission Model. ICTAC 2015: 485-504
2014
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BartheBCLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BartheBCLP14
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie:
System-level Non-interference for Constant-time Cryptography. CCS 2014: 1267-1279
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/GonzalezLCPD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/GonzalezLCPD14
Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele:
Metamodel-based transformation from UML state machines to DEVS models. CLEI 2014: 1-12
2013
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cibse/GonzalezZLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibse/GonzalezZLS13
Ariel Gonzalez, Fabio Zorzan, Carlos Luna, Nora Szasz:
Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software. CIbSE 2013: 99-112
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/types/BartheBCCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BartheBCCL13
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna:
Formally Verified Implementation of an Idealized Model of Virtualization. TYPES 2013: 45-63
2012
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/clei/ZorzanFADMUL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clei/ZorzanFADMUL12
Fabio Zorzan, Mariana Frutos, Ariel Arsaute, Marcela Daniele, Paola Martellotto, Marcelo Uva, Carlos Luna:
Delayed completion of Final Project of the career Computer Analyst: Seeking its causes. CLEI 2012: 1-8
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartheBCL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartheBCL12
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna:
Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization. CSF 2012: 186-197
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/ZanariniLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/ZanariniLS12
Dante Zanarini, Carlos Luna, Luis Sierra:
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. SBMF 2012: 210-225
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BartheBCL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BartheBCL11
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna:
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. FM 2011: 231-245
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/CalegariLST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/CalegariLST10
Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro:
A Type-Theoretic Framework for Certified Model Transformations. SBMF 2010: 112-127
2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/OskuiBL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/OskuiBL09
Ramin Roushani Oskui, Gustavo Betarte, Carlos Luna:
A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices. SCCC 2009: 51-58
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/MazeikisBL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/MazeikisBL09
Gustavo Mazeikis, Gustavo Betarte, Carlos Luna:
Formal Specification and Analysis of the MIDP 3.0 Security Model. SCCC 2009: 59-66
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1001-4436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-4436
Ariel Gonzalez, Carlos Luna:
Specification of Products and Product Lines. WRS 2009: 44-55
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/GonzalezL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/GonzalezL08
Ariel Gonzalez, Carlos Luna:
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. SCCC 2008: 32-41
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/types/CrespoBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/CrespoBL08
Juan Manuel Crespo, Gustavo Betarte, Carlos Luna:
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES 2008: 49-63
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BeguelinBL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BeguelinBL06
Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna:
A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10278
Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna:
An Automatically Verified Prototype of the Android Permissions System. CoRR abs/2209.10278 (2022)
2021
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-00822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-00822
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna:
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR abs/2104.00822 (2021)
2020
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-12980
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-12980
Fernanda Molina, Gustavo Betarte, Carlos Daniel Luna:
A Blockchain based and GDPR-compliant design of a system for digital education certificates. CoRR abs/2010.12980 (2020)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-00720
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-00720
Guido De Luca, Carlos Luna:
Towards a certified reference monitor of the Android 10 permission system. CoRR abs/2011.00720 (2020)
2019
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-01688
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-01688
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini:
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR abs/1907.01688 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-00591
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-00591
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini:
Set-Based Models for Cryptocurrency Software. CoRR abs/1908.00591 (2019)
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-03652
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-03652
Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna:
A certified reference validation mechanism for the permission model of Android. CoRR abs/1709.03652 (2017)
2014
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartheBCLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartheBCLP14
Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie:
System-level non-interference for constant-time cryptography. IACR Cryptol. ePrint Arch. 2014: 422 (2014)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.