safestrings

• A bright future: security and modern type systems – August 15, 2007
• A type-based solution to the “strings problem”: a fitting end to XSS and SQL-injection holes? – October 18, 2006