• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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