| 2025 | CLEI | Formal Specification of a Consent Model for Personal Data Access Control. | Bruno Lartigau, Carlos Luna |
| 2024 | CLEI | Analysis of Security Permissions on Android and iOS from a Privacy Perspective. | Carlos Luna, Raul Ignacio Galuppo |
| 2022 | CLEI | An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. | Adrin Silveira, Gustavo Betarte, Maximiliano Cristi, Carlos Luna |
| 2018 | CLEI | Mutation Testing for Java Based on Model-Driven Development. | Ariel Gonzalez, Carlos Luna, Gonzalo Bressan |
| 2017 | CLEI | Towards formal model-based analysis and testing of Android's security mechanisms. | Gustavo Betarte, Juan Diego Campo, Maximiliano Cristi, Felipe Gorostiaga, Carlos Luna, Camila Sanz |
| 2017 | LOPSTR | A Certified Reference Validation Mechanism for the Permission Model of Android. | Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna |
| 2012 | CLEI | Delayed completion of Final Project of the career Computer Analyst: Seeking its causes. | Fabio Zorzan, Mariana Frutos, Ariel Arsaute, Marcela Daniele, Paola Martellotto, Marcelo Uva, Carlos Luna |
| 2011 | FM | Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna |