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.
Program Analysis Reading List April 22, 2012 Rolf Rolles Originally posted April 22nd, 2012 on the Reverse Engineering Reddit; now maintained locally.