Data Flow Analysis of Secure Information-Flow.

Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi

Browse the full APLAS paper archive.