Anil Madhavapeddy, Professor of Planetary Computing

Information Flow Tracking for Heterogeneous Compartmentalized Software

Paper on DIFC Deluminator interface at RAID 2023

Information Flow Tracking for Heterogeneous Compartmentalized Software

Zahra Tarkhani and Anil Madhavapeddy.

Paper in the proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses.

URL (dl.acm.org) DOI BIB PDF

# 1st Oct 2023

papers conference difc security systems tee unikernels

This is a news item about a conference paper published on the 1st Oct 2023 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the wiki view to browse more entries.

conference163 systems162 unikernels151 security143 ocaml112 mirageos43 distributed42 conservation38 fp36 idea-done34 opensource34 biodiversity31 journal30 sensing30 cloud30 ai29 ocamllabs27 idea-medium25 selfhosting23 multicore22 spatial22 economics20 carboncredits20 forests19 xen17 idea-ongoing17 ubicomp17 hci16 icfp16 mobile15 devtools15

show: [all tags]

202510 202465 2023130 202215 202113 202014 20197 201810 20175 20169 201515 201421 201320 201216 201115 201016 20092 20084 20072 20061 20059 20047 20037 20024 20015 20003 19991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )