Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.

Lesly-Ann Daniel Sébastien Bardin Tamara Rezk

Published in: CoRR (2019)

Keyphrases

symbolic execution
artificial intelligence
high level
database systems
search algorithm
image quality
convergence rate
test data generation