Scalable Approximation of Quantitative Information Flow in Programs.

Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf

Browse the full VMCAI paper archive.