Locating Need-to-Translate Constant Strings in Web Applications

by Xiaoyin Wang , Lu Zhang , Tao Xie , Hong Mei , Jiasu Sun
Citations:2 - 2 self

Active Bibliography

Techniques and Tools for Engineering Secure Web Applications – Gary Michael Wassermann - 2008
3 Automating presentation changes in dynamic web applications via collaborative hybrid analysis – Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei - 2012
4 Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses – Fang Yu, Muath Alkhalaf, Tevfik Bultan
32 Automatic creation of SQL injection and cross-site scripting attacks – Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst
Effective Software Testing with a String-Constraint Solver – Michael D. Ernst - 2009
62 HAMPI: A Solver for String Constraints – Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst - 2009
Errors in web applications are often critical. To protect web applic... – Anders Møller, Mathias Schwarz
33 A Decision Procedure for Subset Constraints over Regular Languages – Pieter Hooimeijer, Westley Weimer - 2009
57 Static Detection of Cross-Site Scripting Vulnerabilities – Gary Wassermann, Zhendong Su - 2008
5 HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection – Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael Ernst
Mitigating and Monitoring Program Security Vulnerabilities Area: Software Security – Hossain Shahriar, Copyright Hossain Shahriar - 2010
2 Hampi: A solver for word equations over strings, regular expressions and context-free grammar – Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2 Verifying clientside input validation functions using string analysis – Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos - 2012
Patching Vulnerabilities with Sanitization Synthesis ∗ Fang Yu – Muath Alkhalaf, Tevfik Bultan
WEB APPLICATION VULNERABILITY DETECTION USING DYNAMIC ANALYSIS WITH PENETERATION TESTING – Sreenivasa Rao , Kumar N - 2012
EFFICIENT DESIGN OF STATIC ANALYSIS TOOL FOR DETECTING WEB VULNERABILITIES – Ratna Giri
BEK: Re-Envisioning . . . – Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes - 2010
19 Fast and Precise Sanitizer Analysis with BEK – Pieter Hooimeijer, Prateek Saxena, Benjamin Livshits, Margus Veanes, David Molnar - 2011
111 Sound and Precise Analysis of Web Applications for Injection Vulnerabilities – Gary Wassermann, Zhendong Su - 2007