Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu. Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016. pages 31-46, IEEE, 2016. [doi]
Abstract is missing.