Carlos Luna

Carlos Luna is an Associate Professor in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay, where he participates in the Computer Security Group. He received a Ph.D. and a M.Sc. degree in Computer Science at FING - UDELAR.

He has published more than 60 refereed scientific papers and has been researcher of many national and international projects. His research interests include formal methods, program verification, software and system security, foundations of computer science, and education. He is currently working on the analysis of security models for mobile devices, the formal definition and verification of security properties of cryptocurrency protocols, and the security analysis of blockchain, as well as the formal specification and verification of critical systems in different domains.

More information is available in:

• Home
• Bio
• CVUy
• Citacions Google scholar
• Publications in Scopus and DBLP

My activity

Journals and Conferences

Thesis Supervisor

• A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach
• Constructing privacy aware blockchain solutions: Design guidelines and threat analysis techniques