Handling declared information leakage: extended abstract.

Rachid Echahed, Frdric Prost

Browse the full POPL paper archive.