Skip to content

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications.

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

VenueA*CCS
Year2014
ProceedingsCCS

Browse the full CCS paper archive.