JFlow: Practical Mostly-Static Information Flow Control (1999)

by Andrew C. Myers
Venue:In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL