Gustavo Betarte

Gustavo Betarte is a Professor in the Department of Computer Science of the School of Engineering at Universidad de la República (FING-UDELAR), Montevideo, Uruguay, where he leads the Computer Security Group. He received a Ph.D. and a M.Sc. degree in Computer Science from the University of Gothenburg, Sweden, and graduated as a Computer Systems Engineer at FING-UDELAR.

He has published more than 30 refereed scientific papers, has been coordinator/principal researcher of many national and international projects and a PC member of several international conferences. His research interests include formal methods, program verification, software and system security and foundations of computer science. He is currently working on the formal definition and verification of security properties of idealized models of mobile platforms and in the development of methodologies and tools for the automation of digital evidence collection procedures and the correlation of threat indicators.

My activity

Research

• Certified autonomic mechanisms for mobile security
• VirtualCert
• AKD: Autonomic Knowledge Discovery for Security Vulnerability Prevention in Self-governing Systems

Thesis Supervisor

• 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