Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. - Benjamin D. Rodes; Anh Nguyen-Tuong; Jason Hiser; John C. Knight; Michele Co; Jack W. Davidson (RV, 2012)

A Framework for Creating Binary Rewriting Tools (Short Paper). - Jason Hiser; Anh Nguyen-Tuong; Michele Co; Benjamin D. Rodes; Matthew Hall; Clark L. Coleman; John C. Knight; Jack W. Davidson (EDCC, 2014)

Speculative Software Modification and its Use in Securing SOUP. - Benjamin D. Rodes; John C. Knight (EDCC, 2014)

A security metric based on security arguments. - Benjamin D. Rodes; John C. Knight; Kimberly S. Wasson (WETSoM, 2014)

A System for the Security Protection of Embedded Binary Programs. - Jack W. Davidson; Jason D. Hiser; Anh Nguyen-Tuong; Clark L. Coleman; William H. Hawkins; John C. Knight; Benjamin D. Rodes; Ashlie B. Hocking (DSN Workshops, 2016)

A Proof Infrastructure for Binary Programs. - Ashlie B. Hocking; Benjamin D. Rodes; John C. Knight; Jack W. Davidson; Clark L. Coleman (NFM, 2016)

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. - Aaron W. Fifarek; Lucas G. Wagner; Jonathan A. Hoffman; Benjamin D. Rodes; M. Anthony Aiello; Jennifer A. Davis (NFM, 2017)