@inproceedings{post15-ifcinside,
	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 = {Principles of Security and Trust ({POST})},
	pages     = {11--31},
	year      = {2015},
	month     = {April},
	publisher = {Springer Berlin Heidelberg},
	url       = {http://dx.doi.org/10.1007/978-3-662-46666-7_2},
	doi       = {10.1007/978-3-662-46666-7_2},
	biburl    = {https://stefanheule.com/publications/post15-ifcinside/},
	bibsource = {stefanheule.com, https://stefanheule.com/}
}