Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.

Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann

Browse the full CCS paper archive.