Thomas S. Heinze, Jasmin Turker. Certified Information Flow Analysis of Service Implementations. In 11th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2018, Paris, France, November 20-22, 2018. pages 177-184, IEEE Computer Society, 2018. [doi]
Abstract is missing.