Login / Signup
Christian Hang
Publication Activity (10 Years)
Years Active: 2004-2004
Publications (10 Years): 0
</>
Publications
</>
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)
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)