Source code for the Trusted Execution Model thesis