Gustavo Betarte

Available identifiers

zbMath Open betarte.gustavoMaRDI QIDQ1671158

List of research outcomes

Publication	Date of Publication	Type
System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory	2021-02-17	Paper
System-level non-interference of constant-time cryptography. I: Model	2019-05-31	Paper
Formal Analysis of Android's Permission-Based Security Model	2019-02-08	Paper
A certified reference validation mechanism for the permission model of Android	2018-09-06	Paper
Formally Verified Implementation of an Idealized Model of Virtualization	2017-03-13	Paper
Verifying Android’s Permission Model	2016-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q2766801	2002-07-22	Paper
Type checking dependent (record) types and subtyping	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4247299	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q3840769	1998-08-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gustavo Betarte