2011-02-16 Security-oriented Program Transformations (Or How to Add Security On Demand), Munawar Hafiz