quoc-sang-phan documents

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