Talks and presentations

Mars Research Group: Kernel Isolation and Beyond

(Reading) Characterizing the Security of GitHub CI Workflows

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