 | 2011 |
|---|
| 8 |       | Gilles Barthe,
Gustavo Betarte,
Juan Diego Campo,
Carlos Luna:
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.
FM 2011: 231-245 |
| 7 | | Martín Barrère,
Gustavo Betarte,
Marcelo Rodríguez:
Towards machine-assisted formal procedures for the collection of digital evidence.
PST 2011: 32-35 |
| 2009 |
|---|
| 6 | | Ramin Roushani Oskui,
Gustavo Betarte,
Carlos Luna:
A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices.
SCCC 2009: 51-58 |
| 5 | | Gustavo Mazeikis,
Gustavo Betarte,
Carlos Luna:
Formal Specification and Analysis of the MIDP 3.0 Security Model.
SCCC 2009: 59-66 |
| 2008 |
|---|
| 4 | | Juan Manuel Crespo,
Gustavo Betarte,
Carlos Luna:
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices.
TYPES 2008: 49-63 |
| 2006 |
|---|
| 3 | | Santiago Zanella Béguelin,
Gustavo Betarte,
Carlos Luna:
A Formal Specification of the MIDP 2.0 Security Model.
Formal Aspects in Security and Trust 2006: 220-234 |
| 2000 |
|---|
| 2 | | Gustavo Betarte:
Type checking dependent (record) types and subtyping.
J. Funct. Program. 10(2): 137-166 (2000) |
| 1999 |
|---|
| 1 | | Gustavo Betarte,
Cristina Cornes,
Nora Szasz,
Alvaro Tasistro:
Specification of a Smart Card Operating System.
TYPES 1999: 77-93 |
Data released under the ODC-BY 1.0 license — See also our legal information page