The following pages link to Juan Diego Campo (Q2228438):
Displayed 7 items.
- (Q1671159) (redirect page) (← links)
- 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)
- Verifying Android’s Permission Model (Q2787445) (← links)
- Formally Verified Implementation of an Idealized Model of Virtualization (Q2968409) (← links)
- Formal Analysis of Android's Permission-Based Security Model (Q4621200) (← links)