2 works on record
Software Security -- Theories and Systems
2003
Tools and Methods for Program Analysis