Talks and presentations

Mars Research Group: Kernel Isolation and Beyond

Slides

(Reading) Characterizing the Security of GitHub CI Workflows

Slides

(Reading) RedLeaf: Isolation and Communication in a Safe Operating System

Slides