Juan Diego Campo

From MaRDI portal
Person:2228438

Available identifiers

zbMath Open campo.juan-diegoMaRDI QIDQ2228438

List of research outcomes





PublicationDate of PublicationType
System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory2021-02-17Paper
System-level non-interference of constant-time cryptography. I: Model2019-05-31Paper
Formal analysis of Android's permission-based security model2019-02-08Paper
A certified reference validation mechanism for the permission model of Android2018-09-06Paper
Formally verified implementation of an idealized model of virtualization2017-03-13Paper
Verifying Android's permission model2016-02-25Paper

Research outcomes over time

This page was built for person: Juan Diego Campo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2228438&oldid=11104799"
Powered by MediaWiki