The road to trustworthy systems.

Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk

Browse the full CCS paper archive.