@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} }