Gustavo Betarte

Gustavo Betarte received a BSc degree in Computer Engineer (1990) from Facultad de Ingeniería de la Universidad de la República, Uruguay (FING-Udelar), and a MSc. (1993) and a PhD. (1998) in Computing Science from the University of Gothenburg, Sweden. He is a Full Professor of the Department of Computer Science (InCo) and principal researcher and head of the Computer Security team (GSI) of FING-Udelar. Dr. Betarte is member of the Uruguayan Researchers National System (SNI, Level II) and an active researcher (Grado 4) of the Informatics Area of PEDECIBA. Since 2006 he is the Technical Director of the Computer Security Consulting Team of Tilsor SA, an Uruguayan IT company.

His research interests include formal methods, program verification, software and system security and foundations of computer science. He is currently working on applying knowledge discovery techniques for adaptive software security, the formal definition and verification of security properties of cryptocurrency protocols, and the design and implementation of security training platforms (Cyber Ranges). For more detailed information please check the full CV and the DBLP list of publications.

My activity

Journals and Conferences

Thesis Supervisor

• Offloading cryptographic services to the SIM card in smartphones
• A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach
• Formal analysis of security models for mobile devices, virtualization platforms, and domain name systems
• Detection and classification of privacy leaks enabled by third-party trackers in COVID-19 mobile applications
• Constructing privacy aware blockchain solutions: Design guidelines and threat analysis techniques
• Web Application Attacks Detection Using Deep Learning
• Enhancing web application attack detection using machine learning
• Towards Secure Distributed Computations
• Formally verified countermeasures against cache based attacks in virtualization platforms
• Análisis y automatización de la Implantación de SGSI en empresas uruguayas
• Methodology for implementing an ISMS in a hierarchical business group