Externally verifiable code execution.

Arvind Seshadri Mark Luk Adrian Perrig Leendert van Doorn Pradeep K. Khosla

Published in: Commun. ACM (2006)

Keyphrases

code generation
data flow
source code
sufficient conditions
control flow
execution model
java virtual machine
data mining
case study
open source
software development
website
high level
video sequences
plan execution
symbolic execution