Gustavo Betarte

From MaRDI portal
Person:1671158

Available identifiers

zbMath Open betarte.gustavoMaRDI QIDQ1671158

List of research outcomes





PublicationDate of PublicationType
System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory2021-02-17Paper
System-level non-interference of constant-time cryptography. I: Model2019-05-31Paper
Formal analysis of Android's permission-based security model2019-02-08Paper
A certified reference validation mechanism for the permission model of Android2018-09-06Paper
Formally verified implementation of an idealized model of virtualization2017-03-13Paper
Verifying Android's permission model2016-02-25Paper
https://portal.mardi4nfdi.de/entity/Q27668012002-07-22Paper
Type checking dependent (record) types and subtyping2000-09-04Paper
https://portal.mardi4nfdi.de/entity/Q42472991999-06-16Paper
https://portal.mardi4nfdi.de/entity/Q38407691998-08-11Paper

Research outcomes over time

This page was built for person: Gustavo Betarte

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1671158&oldid=6307768"
Powered by MediaWiki