Login / Signup

The Trusted Computing Base of the CompCert Verified Compiler.

David MonniauxSylvain Boulmé
Published in: ESOP (2022)
Keyphrases
  • trusted computing
  • computing environments
  • computing platform
  • cloud computing
  • virtual organization
  • computer security
  • trusted platform module
  • remote attestation
  • information systems
  • privacy preserving