Precise Dynamic Verification of Confidentiality.

Gurvan Le Guernic

Browse the full CADE paper archive.