The Trusted Computing Base of the CompCert Verified Compiler.

David Monniaux Sylvain Boulmé

Published in: CoRR (2022)

Keyphrases

trusted computing
computing environments
computing platform
computer security
virtual organization
cloud computing
remote attestation
trusted platform module