Gustavo Betarte
Gustavo Betarte
Professor of Computer Science, Universidad de la República, Uruguay
Verified email at fing.edu.uy - Homepage
TitleCited byYear
System-level non-interference for constant-time cryptography
G Barthe, G Betarte, J Campo, C Luna, D Pichardie
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
862014
Extension of Martin-Löf’s type theory with record types and subtyping
G Betarte, A Tasistro
Twenty-Five Years of Constructive Type Theory 36, 21-39, 1998
631998
Extension of Martin-Löf’s type theory with record types and subtyping
G Betarte, A Tasistro
Twenty-Five Years of Constructive Type Theory 36, 21-39, 1998
631998
Formally verifying isolation and availability in an idealized model of virtualization
G Barthe, G Betarte, JD Campo, C Luna
International Symposium on Formal Methods, 231-245, 2011
592011
Cache-leakage resilient OS isolation in an idealized model of virtualization
G Barthe, G Betarte, JD Campo, C Luna
2012 IEEE 25th Computer Security Foundations Symposium, 186-197, 2012
412012
Dependent record types and algebraic structures in type theory
G Betarte
381998
A formal specification of the MIDP 2.0 security model
SZ Béguelin, G Betarte, C Luna
International Workshop on Formal Aspects in Security and Trust, 220-234, 2006
192006
Formally verified implementation of an idealized model of virtualization
G Barthe, G Betarte, JD Campo, JM Chimento, C Luna
19th International Conference on Types for Proofs and Programs (TYPES 2013 …, 2014
172014
Towards machine-assisted formal procedures for the collection of digital evidence
G Betarte
2011 Ninth Annual International Conference on Privacy, Security and Trust, 32-35, 2011
162011
Formavie: Formal modelling and verification of the javacard 2.1. 1 security architecture
G Betarte, E Giménez, C Loiseaux, B Chetali
Proceedings of E-Smart, 215-229, 2002
142002
Type checking dependent (record) types and subtyping
G Betarte
Journal of functional programming 10 (2), 137-166, 2000
142000
Verifying android’s permission model
G Betarte, JD Campo, C Luna, A Romano
International Colloquium on Theoretical Aspects of Computing, 485-504, 2015
132015
Formalisation of systems of algebras using dependent record types and subtyping: an example
G Betarte, A Tasistro
Proceedings of the 7th. Nordic workshop on Programming Theory, Gothenburg, 1995
101995
Hacia una implementación Exitosa de un SGSI
ME Corti, G Betarte, R De la Fuente
IV Congreso Internacional de Auditoría y Seguridad de la Información, 2005
92005
Dependent record types, subtyping and proof reutilization
G Betarte
online Proc, 1998
91998
Dependent Record Types and Formal Abstract Reasoning
G Betarte
PhD thesis, Chalmers Univ. of Technology, 1998
91998
A case study in machine-assisted proofs: The integers form an integral domain
G Betarte
Chalmers University of Technology and University of Göteborg, 1993
81993
Actkit: A framework for the definition and enforcement of role, content and context-based access control policies
G Betarte, A Gatto, R Martinez, F Zipitria
IEEE Latin America Transactions 10 (3), 1742-1751, 2012
72012
Specification of a smart card operating system
G Betarte, C Cornes, N Szasz, A Tasistro
International Workshop on Types for Proofs and Programs, 77-93, 1999
71999
Formal Analysis of Android's Permission-Based Security Model.
G Betarte, J Campo, C Luna, A Romano
Scientific Annals of Computer Science 26 (1), 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20