| 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 |