The following pages link to Carlos Luna (Q1671161):
Displaying 9 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)
- Verifying Android’s Permission Model (Q2787445) (← links)
- Formally Verified Implementation of an Idealized Model of Virtualization (Q2968409) (← links)
- A Type-Theoretic Framework for Certified Model Transformations (Q2999313) (← links)
- Formal Analysis of Android's Permission-Based Security Model (Q4621200) (← links)
- Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions (Q5200489) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)
