Building a trusted computing base
Code Verification