The following pages link to Gustavo Betarte (Q1671158):
Displaying 10 items.
- A certified reference validation mechanism for the permission model of Android (Q1671162) (← links)
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439) (← links)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- (Q2766801) (← links)
- Verifying Android’s Permission Model (Q2787445) (← links)
- Formally Verified Implementation of an Idealized Model of Virtualization (Q2968409) (← links)
- (Q3840769) (← links)
- (Q4247299) (← links)
- Type checking dependent (record) types and subtyping (Q4500363) (← links)
- Formal Analysis of Android's Permission-Based Security Model (Q4621200) (← links)
