Regression verification for Java using a secure information flow calculus.

Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich

Browse the full ECOOP paper archive.