Willard Rafnsson, Deepak Garg 0001, Andrei Sabelfeld. Progress-Sensitive Security for SPARK. In Juan Caballero, Eric Bodden, Elias Athanasopoulos, editors, Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. Volume 9639 of Lecture Notes in Computer Science, pages 20-37, Springer, 2016. [doi]
Abstract is missing.