Program Analysis for Web Security
No abstract available.
Related papers
- TAJ: effective taint analysis of web applications PLDI 2009
- RoleCast: finding missing security checks when you do not know what checks are OOPSLA 2011
- Formal Reasoning About the Security of Amazon Web Services CAV 2018
- Verifying policy-based web services security TOPLAS 2008
- A semantics for web services authentication POPL 2004
- LWeb: information flow security for multi-tier web applications POPL 2019
- CT-wasm: type-driven secure cryptography for the web ecosystem POPL 2019
- Sound and precise analysis of web applications for injection vulnerabilities PLDI 2007