Personal Information
Unternehmen/Arbeitsplatz
Mountain View, California United States
Beruf
Postdoctoral Researcher
Branche
Technology / Software / Internet
Webseite
www.andrew.cmu.edu/user/qsp/
Tags
symbolic execution
information flow controls
information theory
quantitative information flow
java pathfinder
model counting
reliability analysis
model checking
non- linear constraints
cryptographic functions
bitvector arithmetic
model counting modulo theories
concurrency
bounded model checking
smt
dpll
sat
Mehr anzeigen
Präsentationen
(9)Dokumente
(1)Personal Information
Unternehmen/Arbeitsplatz
Mountain View, California United States
Beruf
Postdoctoral Researcher
Branche
Technology / Software / Internet
Webseite
www.andrew.cmu.edu/user/qsp/
Tags
symbolic execution
information flow controls
information theory
quantitative information flow
java pathfinder
model counting
reliability analysis
model checking
non- linear constraints
cryptographic functions
bitvector arithmetic
model counting modulo theories
concurrency
bounded model checking
smt
dpll
sat
Mehr anzeigen