Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond | IEEE Conference Publication | IEEE Xplore