sqifc
May 22, 2014 ยท View on GitHub
Symbolic Quantitative Information Flow Analysis for C
Paper
Abstract Model Counting: a novel approach for Quantification of Information Leaks. ASIACCS 2014.
Quoc-Sang Phan and Pasquale Malacaria.
May 22, 2014 ยท View on GitHub
Symbolic Quantitative Information Flow Analysis for C
Abstract Model Counting: a novel approach for Quantification of Information Leaks. ASIACCS 2014.
Quoc-Sang Phan and Pasquale Malacaria.