Certifying Program Execution with Secure Processors.

Benjie Chen Robert Tappan Morris

Published in: HotOS (2003)

Keyphrases

program execution
multi processor
parallel algorithm
parallel processing
single processor
security analysis
java virtual machine
security requirements
security issues
parallel computation
distributed memory
key management