Integration of Static and Dynamic Analysis Techniques for Checking Noninterference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Mihai Herda' in GoogleThis author has not been identified. Look up 'Michael Kirsten' in GoogleThis author has not been identified. Look up 'Shmuel S. Tyszberowicz' in Google

runs on WebDSL