====== Reading Group ======
===== Jun 2021 =====
^Venue ^Title ^Notes ^Links ^Shared by ^
| SOSP'03 | Terra: A Virtual Machine-Based Platform for Trusted Computing | | [[https://suif.stanford.edu/papers/sosp03-terra.pdf|Paper]] | Jason |
| SOSP'03 | Implementing an Untrusted Operating System on Trusted Hardware | | [[http://www.cs.cornell.edu/people/egs/cornellonly/syslunch/fall03/xomos.pdf|Paper]] | Jinhua |
| SOSP'09 | seL4: Formal Verification of an OS Kernel | | [[https://cseweb.ucsd.edu/~dstefan/cse227-spring19/papers/sel4.pdf|Paper]] | Jason |