Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| computer:research:reading_group:start [2021/06/07 01:13] – [Jun 2021] cimcs | computer:research:reading_group:start [2021/06/13 08:09] (current) – [Jun 2021] sel4 added corank |
|---|
| | SOSP'03 | 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'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 | |
