Automatic Discovery and Quantification of Information Leaks.

Michael Backes Boris Köpf Andrey Rybalchenko Automatic Discovery and Quantification of Information Leaks. 141-153 2009 IEEE Symposium on Security and Privacy http://dx.doi.org/10.1109/SP.2009.18 conf/sp/2009 db/conf/sp/sp2009.html#BackesKR09