Quoc-Sang Phan
10 SlideShares 1 Follower
Personal Information
Organization / Workplace
Mountain View, California United States
Occupation
Postdoctoral Researcher
Industry
Technology / Software / Internet
Website
www.andrew.cmu.edu/user/qsp/
Contact Details
Tags
symbolic execution information theory information flow controls java pathfinder quantitative information flow model checking reliability analysis model counting sat dpll smt bounded model checking concurrency model counting modulo theories bitvector arithmetic cryptographic functions non- linear constraints
See more

Presentations

(9)
See all

Symbolic Quantitative Information Flow

12 years ago • 329 Views

Self-composition by Symbolic Execution

11 years ago • 322 Views

Towards an SMT-based approach for Quantitative Information Flow

11 years ago • 343 Views

Quantifying Information Leaks using Reliability Analysis

11 years ago • 434 Views

Symbolic Execution as DPLL Modulo Theories

10 years ago • 459 Views

Concurrent Bounded Model Checking

10 years ago • 696 Views

Quantifying Information Leaks via Model Counting Modulo Theories

10 years ago • 327 Views

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

9 years ago • 321 Views

Model-counting Approaches For Nonlinear Numerical Constraints

8 years ago • 83 Views

Documents

(1)

Quantifying Information Leaks using Reliability Analysis

11 years ago • 184 Views
Personal Information
Organization / Workplace
Mountain View, California United States
Occupation
Postdoctoral Researcher
Industry
Technology / Software / Internet
Website
www.andrew.cmu.edu/user/qsp/
Tags
symbolic execution information theory information flow controls java pathfinder quantitative information flow model checking reliability analysis model counting sat dpll smt bounded model checking concurrency model counting modulo theories bitvector arithmetic cryptographic functions non- linear constraints
See more