Analysis of Secure Information Flow by Model-Checking. - Kyung-Goo Doh; Seung Cheol Shin (APLAS, 2001)

Data Flow Analysis of Secure Information-Flow. - Kyung-Goo Doh; Seung Cheol Shin; Kwangkeun Yi (APLAS, 2002)

Detection of information leak by data flow analysis. - Kyung-Goo Doh; Seung Cheol Shin (ACM SIGPLAN Notices, 2002)