Self-Verifying Execution (Position Paper).

Matt McCutchen Daniel Song Shuo Chen Shaz Qadeer

Published in: SecDev (2016)

Keyphrases

future directions
database
data sets
model checking
parallel execution
real time
decision trees
three dimensional
face recognition
expert systems
hidden markov models
active databases
execution model
execution traces