Securing Interactive Programs.

Willard Rafnsson Daniel Hedin Andrei Sabelfeld

Published in: CSF (2012)

Keyphrases

computer programs
virtual reality
data visualization
database
neural network
computer graphics
real world
learning algorithm
decision trees
evolutionary algorithm
user interaction
user friendly
interactive systems
control structures
provably correct