CertiKOS: A breakthrough toward hacker-resistant operating systemsnews.yale.edu·119 pts·spankipants·37