| 2004 | ||
|---|---|---|
| 2 | Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo: Verifying Web Applications Using Bounded Model Checking. DSN 2004: 199-208 | |
| 1 | Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo: Securing web application code by static analysis and runtime protection. WWW 2004: 40-52 | |
| 1 | Yao-Wen Huang | [1] [2] |
| 2 | Sy-Yen Kuo | [1] [2] |
| 3 | D. T. Lee (Der-Tsai Lee) | [1] [2] |
| 4 | Chung-Hung Tsai | [1] [2] |
| 5 | Fang Yu | [1] [2] |