Cormac Flanagan

Virtual values for taint and information flow analysis

2016 · San José State University ScholarWorks (San Jose State University)

Security controls such as taint analysis and information flow analysis can be powerful tools to protect against many common attacks. However, incorporating these controls into a language such as JavaScript is challenging. Native implementations require …