Safely reducing the cost of unit level symbolic execution through read/write analysis. - Eric F. Rizzi; Matthew B. Dwyer; Sebastian G. Elbaum (ACM SIGSOFT Softw. Eng. Notes, 2014)

On the techniques we create, the tools we build, and their misalignments: a study of KLEE. - Eric F. Rizzi; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE, 2016)

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)