Login / Signup
Secure Multi-Execution through Static Program Transformation.
Gilles Barthe
Juan Manuel Crespo
Dominique Devriese
Frank Piessens
Exequiel Rivas
Published in:
FMOODS/FORTE (2012)
Keyphrases
</>
program execution
dynamic analysis
execution traces
control flow
symbolic execution
database
static analysis
factor authentication
lightweight
reverse engineering
active databases
programming environment
linear transformation
execution model