QIF

INSCRYPT's Quantitative Information Flow group.