Efficient type inference for secure information flow.

Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Browse the full PLDI paper archive.