Person:2228438

Available identifiers

zbMath Open campo.juan-diegoMaRDI QIDQ2228438

List of research outcomes

Publication	Date of Publication	Type
System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory	2021-02-17	Paper
System-level non-interference of constant-time cryptography. I: Model	2019-05-31	Paper
Formal Analysis of Android's Permission-Based Security Model	2019-02-08	Paper
A certified reference validation mechanism for the permission model of Android	2018-09-06	Paper
Formally Verified Implementation of an Idealized Model of Virtualization	2017-03-13	Paper
Verifying Android’s Permission Model	2016-02-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Juan Diego Campo