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