computer:research:reading_group:start
Reading Group
Jun 2021
| Venue | Title | Notes | Links | Shared by |
| SOSP'03 | Terra: A Virtual Machine-Based Platform for Trusted Computing | | Paper | Jason |
| SOSP'03 | Implementing an Untrusted Operating System on Trusted Hardware | | Paper | Jinhua |
| SOSP'09 | seL4: Formal Verification of an OS Kernel | | Paper | Jason |
computer/research/reading_group/start.txt · Last modified: by corank
