CertiKOS: A Step Toward Hacker-Resistant Operating Systems