Web application security assessment by fault injection and behavior monitoring. - Yao-Wen Huang; Shih-Kun Huang; Tsung-Po Lin; Chung-Hung Tsai (WWW, 2003)

Knowledge Management for Computational Problem Solving. - D. T. Lee; Gen-Cher Lee; Yao-Wen Huang (J. Univers. Comput. Sci., 2003)

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)

Bounded Model Checking for Region Automata. - Fang Yu 001; Bow-Yaw Wang; Yao-Wen Huang (FORMATS/FTRTFT, 2004)

Non-Detrimental Web Application Security Scanning. - Yao-Wen Huang; Chung-Hung Tsai; D. T. Lee; Sy-Yen Kuo (ISSRE, 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)

Efficient Exact Spare Allocation via Boolean Satisfiability. - Fang Yu 001; Chung-Hung Tsai; Yao-Wen Huang; D. T. Lee; Hung-Yau Lin; Sy-Yen Kuo (DFT, 2005)

A testing framework for Web application security assessment. - Yao-Wen Huang; Chung-Hung Tsai; Tsung-Po Lin; Shih-Kun Huang; D. T. Lee; Sy-Yen Kuo (Comput. Networks, 2005)