SMT Solvers for Software Security August 6, 2012 Rolf Rolles I co-authored a paper at WOOT '12 on applying SMT solvers to software security issues.