Enabling Security Testing from Specification to Code.

Shane Bracher, Padmanabhan Krishnan

Browse the full IFM paper archive.