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

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

Model-counting Approaches For Nonlinear Numerical Constraints

Vor 6 Jahren • 80 Aufrufe

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

Vor 8 Jahren • 316 Aufrufe

Quantifying Information Leaks via Model Counting Modulo Theories

Vor 9 Jahren • 322 Aufrufe

Concurrent Bounded Model Checking

Vor 9 Jahren • 689 Aufrufe

Symbolic Execution as DPLL Modulo Theories

Vor 9 Jahren • 454 Aufrufe

Quantifying Information Leaks using Reliability Analysis

Vor 9 Jahren • 430 Aufrufe

Towards an SMT-based approach for Quantitative Information Flow

Vor 10 Jahren • 342 Aufrufe

Self-composition by Symbolic Execution

Vor 10 Jahren • 319 Aufrufe

Symbolic Quantitative Information Flow

Vor 11 Jahren • 328 Aufrufe