Systematic Analysis of Defenses Against Return-Oriented Programming

This paper describes a systematic approach for analyzing code reuse attacks and defenses. It was presented at RAID'13 Symposium and published in Lecture Notes in Computer Science (LNCS) Volume 8145. It is an example of how a cyber security domain can be analyzed systematically.