Differences

This shows you the differences between two versions of the page.

--- computer:research:reading_group:start [2021/06/06 11:00] – created corank
+++ computer:research:reading_group:start [2021/06/13 08:09] (current) – [Jun 2021] sel4 added corank
@@ Line 2: / Line 2: @@
 ===== Jun 2021 =====
 ^Venue ^Title ^Notes ^Links ^Shared by ^
-| SOSP03 | Terra: A Virtual Machine-Based Platform for Trusted Computing | | [[https://suif.stanford.edu/papers/sosp03-terra.pdf|Paper]] | Jason |
+| 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 |