"Regression verification for Java using a secure information flow calculus."

Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics