Integration of Static and Dynamic Analysis Techniques for Checking Noninterference

Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz. Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 287-312, Springer, 2020. [doi]

Abstract

Abstract is missing.