Andre Scedrov

• Software Security -- Theories and Systems
• Tools and Methods for Program Analysis