A Hybrid Approach for Proving Noninterference of Java Programs

Ralf K├╝sters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr. A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptology ePrint Archive, 2015:438, 2015. [doi]

No reviews for this publication, yet.