## Practice Challenges
- [HSVM sum challenge](https://github.com/endeav0r/hsvm/blob/master/sploits/sum/code.c)
- [pCTF 2013 "cone" challenge](https://github.com/isislab/CTF-Challenges/tree/master/pctf2013/binary/cone)
- [CSAW 2013 reversing 300](http://captf.com/2013/csaw-quals/reversing/crackme-300/)

## Resources/Writeups
- Eindbazen "cone" [writeup](http://eindbazen.net/2013/04/pctf-2013-cone-binary-250-2/)
- Rolf Rolle's [z3 based solution](http://stackoverflow.com/questions/14547087/extracting-bits-with-a-single-multiplication/14551792#14551792) to some math problem
- [SMT Solvers for Software Security](http://2013.zeronights.org/includes/docs/Georgy_Nosenko_-_An_introduction_to_the_use_SMT_solvers_for_software_security.ppt)