Side-Channel Analysis via Symbolic Execution and Model Counting.
Tevfik BultanPublished in: ACM SIGSOFT Softw. Eng. Notes (2018)
Keyphrases
- symbolic execution
- model counting
- weighted model counting
- static analysis
- test generation
- test data generation
- source code
- knowledge compilation
- specification language
- polynomial size
- satisfiability testing
- data flow
- test cases
- probabilistic inference
- case study
- genetic algorithm
- propositional logic
- propositional formulas
- artificial intelligence