Hacker News new | ask | show | jobs
by nradov 189 days ago
Is there SVG sanitization code which has been formally proven correct and itself free of security vulnerabilities?