Benjamin D. Rodes

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Hamming Distance

Imperative Programs

Security Protection

Top Venues

Publications

Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. NFM (2017)
Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman
A Proof Infrastructure for Binary Programs. NFM (2016)
Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking
A System for the Security Protection of Embedded Binary Programs. DSN Workshops (2016)
Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson
A Framework for Creating Binary Rewriting Tools (Short Paper). EDCC (2014)
Benjamin D. Rodes, John C. Knight
Speculative Software Modification and its Use in Securing SOUP. EDCC (2014)
Benjamin D. Rodes, John C. Knight, Kimberly S. Wasson
A security metric based on security arguments. WETSoM (2014)
Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. RV (2012)