Tag: Web Application Security Vulnerabilities

FLAT uses formal languages to type strings

Using formal languages as type constraints to prevent string-based security vulnerabilities