| 2005 |
|---|
| 8 | EE | Fang Yu,
Chung-Hung Tsai,
Yao-Wen Huang,
D. T. Lee,
Hung-Yau Lin,
Sy-Yen Kuo:
Efficient Exact Spare Allocation via Boolean Satisfiability.
DFT 2005: 361-370 |
| 7 | EE | Yao-Wen Huang,
Chung-Hung Tsai,
Tsung-Po Lin,
Shih-Kun Huang,
D. T. Lee,
Sy-Yen Kuo:
A testing framework for Web application security assessment.
Computer Networks 48(5): 739-761 (2005) |
| 2004 |
|---|
| 6 | 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 |
| 5 | EE | Fang Yu,
Bow-Yaw Wang,
Yao-Wen Huang:
Bounded Model Checking for Region Automata.
FORMATS/FTRTFT 2004: 246-262 |
| 4 | EE | Yao-Wen Huang,
Chung-Hung Tsai,
D. T. Lee,
Sy-Yen Kuo:
Non-Detrimental Web Application Security Scanning.
ISSRE 2004: 219-230 |
| 3 | 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 |
| 2003 |
|---|
| 2 | EE | Yao-Wen Huang,
Shih-Kun Huang,
Tsung-Po Lin,
Chung-Hung Tsai:
Web application security assessment by fault injection and behavior monitoring.
WWW 2003: 148-159 |
| 1 | EE | D. T. Lee,
G. C. Lee,
Yao-Wen Huang:
Knowledge Management for Computational Problem Solving.
J. UCS 9(6): 563-570 (2003) |
