Celina G. Val Michael A. Enescu Sam Bayless William Aiello Alan J. Hu Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. 31-46 2016 EuroS&P https://doi.org/10.1109/EuroSP.2016.15 conf/eurosp/2016 db/conf/eurosp/eurosp2016.html#ValEBAH16