Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk).
Tevfik BultanPublished in: FSTTCS (2016)
Keyphrases
- invited talk
- constraint solver
- symbolic execution
- model counting
- constraint solving
- static analysis
- test data generation
- test generation
- constraint propagation
- constraint programming
- knowledge compilation
- specification language
- linear constraints
- polynomial size
- constraint satisfaction problems
- knowledge discovery and data mining
- source code
- constraint satisfaction
- satisfiability testing
- selected papers
- sat solvers
- real numbers
- computational intelligence
- information retrieval
- evolutionary algorithm