Quantifying Information Leaks using Reliability Analysis
Symbolic Execution as DPLL Modulo Theories
Self-composition by Symbolic Execution
Symbolic Quantitative Information Flow
Towards an SMT-based approach for Quantitative Information Flow
Concurrent Bounded Model Checking
Quantifying Information Leaks via Model Counting Modulo Theories
All-Solution Satisfiability Modulo Theories: applications, algorithms and benchmarks
Model-counting Approaches For Nonlinear Numerical Constraints