Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE.

Lesly-Ann Daniel Sébastien Bardin Tamara Rezk

Published in: NDSS (2021)

Keyphrases

symbolic execution
relational databases
relational data
database
neural network
genetic programming
matching algorithm
static analysis