https://wiki.corank.info/ 2026-04-04T18:34:22+00:00 https://wiki.corank.info/ https://wiki.corank.info/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2021-06-13T08:09:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.corank.info/doku.php?id=computer:research:reading_group:start&rev=1623571782&do=diff 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