Related Papers

Robert Grabowski, Martin Hofmann, Keqin Li. Type-Based Enforcement of Secure Programming Guidelines – Code Injection Prevention at SAP8th International Workshop on Formal Aspects of Security & Trust (FAST). 2011.

extended version (pdf)
Lennart Beringer, Robert Grabowski, Martin Hofmann. Verifying Pointer and String Analyses with Region Type Systems16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR). 2010.

conference version (pdf) | extended version (pdf)

Additional Resources

Robert Grabowski: Type-based Prevention of Code Injection Attacks. Seminar presentation. 2010.
slides (pdf)