Thomas H. Austin, Cormac Flanagan. Permissive dynamic information flow analysis. In Anindya Banerjee, Deepak Garg, editors, Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010. pages 3, ACM, 2010. [doi]
Abstract is missing.