Gustavo Betarte

Gustavo Betarte

Universidad de la República - Montevideo / Uruguay
Engineering & Technology / Computer Science
AD Scientific Index ID: 834020
University of the Republic
person_outline Gustavo Betarte's MOST POPULAR ARTICLES
1-) System-level non-interference for constant-time cryptographyG Barthe, G Betarte, J Campo, C Luna, D PichardieProceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 20141422014
2-) Formally verifying isolation and availability in an idealized model of virtualizationG Barthe, G Betarte, JD Campo, C LunaInternational Symposium on Formal Methods, 231-245, 2011702011
3-) Extension of Martin-Löf’s type theory with record types and subtypingG Betarte, A TasistroTwenty-Five Years of Constructive Type Theory 36, 21-39, 1998671998
4-) Web application attacks detection using machine learning techniquesG Betarte, Á Pardo, R Martínez2018 17th IEEE International Conference on Machine Learning and Applications …, 2018542018
5-) Cache-leakage resilient OS isolation in an idealized model of virtualizationG Barthe, G Betarte, JD Campo, C Luna2012 IEEE 25th Computer Security Foundations Symposium, 186-197, 2012522012