Automating Modular Verification of Secure Information Flow.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Browse the full FMCAD paper archive.