Automatic Discovery and Quantification of Information Leaks | IEEE Conference Publication | IEEE Xplore