The Meaning of Attack-Resistant Systems

  title={The Meaning of Attack-Resistant Systems},
  author={Vijay Ganesh and Sebastian Banescu and Mart'in Ochoa},
In this paper, we introduce a formal notion of partial compliance, called ATTACK-RESISTANCE, of a computer program running together with a defense mechanism w.r.t a non-exploitability specification. In our setting, a program may contain exploitable vulnerabilities, such as buffer overflows, but appropriate defense mechanisms built into the program or the… CONTINUE READING