@inproceedings{heule:2015:ifc-inside,
  author    = {Stefan Heule and Deian Stefan and Edward Z. Yang and John C. Mitchell and Alejandro Russo},
  title     = {{IFC} Inside: Retrofitting Languages with Dynamic Information Flow Control},
  booktitle = {Conference on Principles of Security and Trust (POST)},
  month     = {April},
  year      = {2015},
  publisher = {Springer}
}