Skip to content

Instantly share code, notes, and snippets.

@ancat

ancat/notes.md

Created March 3, 2014 01:23
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save ancat/9316938 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save ancat/9316938 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. Omar created this gist Mar 3, 2014.
    9 changes: 9 additions & 0 deletions notes.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    ## 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)