
@conference {inp:BichhawatRajaniGargHammer2014b,
	title = {Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis},
	booktitle = {Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@conference {inp:BichhawatRajaniGargHammer2014a,
	title = {Information Flow Control in WebKit{\textquoteright}s JavaScript Bytecode},
	booktitle = {Proceedings of the 3rd conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@conference {inp:Hammer2013,
	title = {Efficient Algorithms for Control Closures},
	booktitle = {1st International Workshop on Interference and Dependence (ID 2013)},
	year = {2013},
	author = {C. Hammer}
}
@conference {inp:Hammer2010a,
	title = {Experiences with PDG-based IFC},
	booktitle = {Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010)},
	year = {2010},
	author = {C. Hammer}
}
