Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery. - Denis Gopan; Evan Driscoll; Ducson Nguyen; Dimitri Naydich; Alexey Loginov; David Melski (ICSE (1), 2015)

Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge. - Anh Nguyen-Tuong; David Melski; Jack W. Davidson; Michele Co; William Hawkins 001; Jason D. Hiser; Derek Morris; Ducson Nguyen; Eric F. Rizzi (IEEE Secur. Priv., 2018)