Cryptology ePrint Archive: Report 2015/438
Available versions in chronological order
20150508:112107 (posted 08-May-2015 11:21:07 UTC)
A Hybrid Approach for Proving Noninterference of Java Programs
Ralf Kuesters and Tomasz Truderung and Bernhard Beckert and Daniel Bruns and Michael Kirsten and Martin Mohr
Original publication (with minor differences): CSF 2015
[
Cryptology ePrint archive
]