Remote Attestation
Trusted Computing
Haskell
Object Capabilities
OCAP