Automatic Discovery and Quantification of Information Leaks

Michael Backes, Boris Köpf, Andrey Rybalchenko. Automatic Discovery and Quantification of Information Leaks. In 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA. pages 141-153, IEEE Computer Society, 2009. [doi]