Abstract model counting: a novel approach for quantification of information leaks.

Quoc-Sang Phan, Pasquale Malacaria

Browse the full CCS paper archive.