Jacob Springer, Wu-chang Feng: Teaching with angr: A Symbolic Execution Curriculum and CTF. ASE @ USENIX Security Symposium 2018