Verifying Web Applications Using Bounded Model Checking. - Yao-Wen Huang; Fang Yu 001; Christian Hang; Chung-Hung Tsai; D. T. Lee; Sy-Yen Kuo (DSN, 2004)

Securing web application code by static analysis and runtime protection. - Yao-Wen Huang; Fang Yu 001; Christian Hang; Chung-Hung Tsai; Der-Tsai Lee; Sy-Yen Kuo (WWW, 2004)