Optimal Sanitization Synthesis for Secure Web Applications

This presentation explores challenges and solutions in input sanitization within web applications, emphasizing automated techniques to prevent vulnerabilities. It covers an optimal sanitization synthesis approach using dependency graphs and input-specific methods, followed by the design phase focusing on signature generation and edit-distance algorithms. Algorithm development, incremental improvements, and pre-computation methodologies are detailed, alongside experimental results highlighting...