Benjamin D. Rodes

According to our database, Benjamin D. Rodes authored at least 7 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

A Proof Infrastructure for Binary Programs.

Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

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

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2014

A security metric based on security arguments.

Benjamin D. Rodes, John C. Knight, Kimberly S. Wasson

Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, 2014

Speculative Software Modification and its Use in Securing SOUP.

Benjamin D. Rodes, John C. Knight

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

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

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2012

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

Proceedings of the Runtime Verification, Third International Conference, 2012