Login / Signup

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

Lesly-Ann DanielSébastien BardinTamara Rezk
Published in: IEEE Symposium on Security and Privacy (2020)
Keyphrases
  • symbolic execution
  • relational databases
  • data sets
  • general purpose
  • programming language
  • database
  • search algorithm
  • static analysis
  • test data generation