Personal Information
Organización/Lugar de trabajo
Mountain View, California United States
Ocupación
Postdoctoral Researcher
Sector
Technology / Software / Internet
Sitio web
www.andrew.cmu.edu/user/qsp/
Etiquetas
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
Ver más
Presentaciones
(9)Documentos
(1)Personal Information
Organización/Lugar de trabajo
Mountain View, California United States
Ocupación
Postdoctoral Researcher
Sector
Technology / Software / Internet
Sitio web
www.andrew.cmu.edu/user/qsp/
Etiquetas
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
Ver más