Quantitative information flow — verification hardness and possibilities (2010)

by H Yasuoka, T Terauchi
Venue:In Proc. 23rd IEEE CSF Symp