Chung-Hung Tsai

Artificial Intelligence · 2003–2004

A researcher in the Science corpus: 2 papers; trusts 6 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 17 citations into it; #24,554 of 35,345 by trust here, #19,873 by citations
• Information Systems — 11 citations into it; #5,523 of 8,771 by trust here, #4,012 by citations
• Computer Networks and Communications — 9 citations into it
• Signal Processing — 6 citations into it; #5,100 of 7,572 by trust here, #3,566 by citations
• Software — 6 citations into it

Whom Chung-Hung Tsai trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Hao Chen
2. David A. Wagner

Who trusts Chung-Hung Tsai overall

1. Zhendong Su
2. Gary Wassermann
3. Nenad Jovanovic
4. William G. J. Halfond

Papers from Chung-Hung Tsai's perspective

Ordered by how strongly the researchers Chung-Hung Tsai trusts endorse each paper. Same corpus, a different order for every researcher.

1. Automatically validating temporal safety properties of interfaces (SPIN)
2. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
3. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
4. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)
6. Enforceable security policies (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
7. ITS4: a static vulnerability scanner for C and C++ code (Asia-Pacific Computer Systems Architecture Conference)
8. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
9. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Design and implementation of a high-performance distributed Web crawler (Proceedings / International Conference on Data Engineering)

Their papers

• Securing web application code by static analysis and runtime protection (2004) — 678 citations
• Web application security assessment by fault injection and behavior monitoring (2003) — 407 citations