Teaching with angr: A Symbolic Execution Curriculum and CTF

Authors: 

Jacob Springer and Wu-chang Feng, Portland State University

Abstract: 

Symbolic execution is an essential tool in modern program analysis and vulnerability discovery. The technique is used to both find and fix vulnerabilities as well as to identify and exploit them. In order to ensure that symbolic execution tools are used more for the former, rather than the latter, we describe a curriculum and a set of scaffolded, polymorphic, "capture-the-flag" (CTF) exercises that have been developed to help students learn and utilize the technique to help ensure the software they produce is secure.

Open Access Media

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.

BibTeX
@inproceedings {219726,
author = {Jacob Springer and Wu-chang Feng},
title = {Teaching with angr: A Symbolic Execution Curriculum and {CTF}},
booktitle = {2018 {USENIX} Workshop on Advances in Security Education ({ASE} 18)},
year = {2018},
address = {Baltimore, MD},
url = {https://www.usenix.org/conference/ase18/presentation/springer},
publisher = {{USENIX} Association},
}