A Hybrid Approach for Proving Noninterference of Java Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ralf Küsters' in GoogleThis author has not been identified. Look up 'Tomasz Truderung' in GoogleThis author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Daniel Bruns' in GoogleThis author has not been identified. Look up 'Michael Kirsten' in GoogleThis author has not been identified. Look up 'Martin Mohr' in Google

runs on WebDSL