Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu: Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. EuroS&P 2016: 31-46