Securing software by enforcing data-flow integrity
A somewhat older paper. DFI goes beyond detecting control flow attacks to also handle criticial variables being overwritten (look at the SSH exploit). This solution requires source code and recompilation, but despite some limitations it’s very impressive.
http://research.microsoft.com/~manuelc/MS/dfiOSDI.pdf
Advertisement