| |
| 2004 | ||
|---|---|---|
| 2 | EE | 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 | EE | 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 | [2] |
| 4 | Der-Tsai Lee | [1] |
| 5 | Chung-Hung Tsai | [1] [2] |
| 6 | Fang Yu | [1] [2] |