Publications Details

Symbolic Execution for Vulnerability Analysis: Improving Analyses with Symbolic Procedures [Poster]

Doty, Landen M.

Overview of work completed as a summer intern in the CCD.