Quoc-Sang Phan

1 Follower

10 SlideShares 1 Follower

10 SlideShares 1 Follower

symbolic execution information flow controls information theory quantitative information flow java pathfinder model counting reliability analysis model checking nonlinear constraints cryptographic functions bitvector arithmetic model counting modulo theories concurrency bounded model checking smt dpll sat

See more

Activity
About

Symbolic Quantitative Information Flow

11 years ago • 328 Views

Self-composition by Symbolic Execution

10 years ago • 319 Views

Towards an SMT-based approach for Quantitative Information Flow

10 years ago • 342 Views

Quantifying Information Leaks using Reliability Analysis

9 years ago • 430 Views

Symbolic Execution as DPLL Modulo Theories

9 years ago • 454 Views

Concurrent Bounded Model Checking

9 years ago • 689 Views

Quantifying Information Leaks via Model Counting Modulo Theories

8 years ago • 322 Views

All-Solution Satisfiability Modulo Theories: applications, algorithms and benchmarks

8 years ago • 316 Views

Model-counting Approaches For Nonlinear Numerical Constraints

6 years ago • 80 Views

Quantifying Information Leaks using Reliability Analysis

9 years ago • 183 Views

symbolic execution information flow controls information theory quantitative information flow java pathfinder model counting reliability analysis model checking nonlinear constraints cryptographic functions bitvector arithmetic model counting modulo theories concurrency bounded model checking smt dpll sat

See more