Permissive dynamic information flow analysis

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]

@inproceedings{AustinF10,
  title = {Permissive dynamic information flow analysis},
  author = {Thomas H. Austin and Cormac Flanagan},
  year = {2010},
  doi = {10.1145/1814217.1814220},
  url = {http://doi.acm.org/10.1145/1814217.1814220},
  researchr = {https://researchr.org/publication/AustinF10},
  cites = {0},
  citedby = {0},
  pages = {3},
  booktitle = {Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010},
  editor = {Anindya Banerjee and Deepak Garg},
  publisher = {ACM},
  isbn = {978-1-60558-827-8},
}