Differences

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

--- computer:research:reading_group:start [2021/06/06 14:28] – [Jun 2021] cimcs
+++ computer:research:reading_group:start [2021/06/13 08:09] (current) – [Jun 2021] sel4 added corank
@@ Line 3: / Line 3: @@
 ^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 TrustedHardware | | [[http://www.cs.cornell.edu/people/egs/cornellonly/syslunch/fall03/xomos.pdf|Paper]] | Jinhua |
+| 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 |