Wednesday, May 13, 2015

SMT Saves U and Me

I did this for SAHA! and UTSA's Cyber Security Group. Hopefully it will make using solvers practical to some beginning exploit devs.

No comments:

Post a Comment