BitBlaze & WebBlaze: Tools for computer security using SMT Solvers

put your abstract here

Dawn Song & Prateek Saxena, University of California, Berkeley, USA

put your bio here