Gustavo Betarte

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory Journal of Automated Reasoning	2021-02-17	Paper
System-level non-interference of constant-time cryptography. I: Model Journal of Automated Reasoning	2019-05-31	Paper
Formal analysis of Android's permission-based security model Scientific Annals of Computer Science	2019-02-08	Paper
A certified reference validation mechanism for the permission model of Android (available as arXiv preprint)	2018-09-06	Paper
Formally verified implementation of an idealized model of virtualization	2017-03-13	Paper
Verifying Android's permission model Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
scientific article; zbMATH DE number 1696610 (Why is no real title available?)	2002-07-22	Paper
Type checking dependent (record) types and subtyping Journal of Functional Programming	2000-09-04	Paper
scientific article; zbMATH DE number 1302055 (Why is no real title available?)	1999-06-16	Paper
scientific article; zbMATH DE number 1187955 (Why is no real title available?)	1998-08-11	Paper

Research outcomes over time

This page was built for person: Gustavo Betarte