
@article {630,
	title = {Type Systems for Information Flow Control: The Question of Granularity},
	journal = {ACM SIGLOG News},
	volume = {4},
	year = {2017},
	author = {Vineet Rajani and Iulia Bastys and Willard Rafnsson and Deepak Garg}
}
@conference {622,
	title = {Progress-Sensitive Security for SPARK},
	booktitle = {Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS)},
	year = {2016},
	author = {Willard Rafnsson and Andrei Sabelfeld and Deepak Garg}
}
