Automated, Certified Program-rewriting for Software Security Enforcement
Kevin W. Hamlen · 2012
Abstract : This project discovered and developed algorithms and tools for (1) automatically retrofitting binary legacy software with access controls, and (2) formally machine-certifying that the retrofitted software satisfies user-specified security policies. The research resulted in new software security systems for Java, ActionScript. and x86 native code that provably secure legacy code without any form of code-producer cooperation (e.g., source code or compiler support).