/William Weir

CertiKOS: A Breakthrough Toward Hacker-Resistant Operating Systems

featured in #104.1