Automatic Discovery and Quantification of Information Leaks. (2009)

by M Backes, B Kopf, Andrey Rybalchenko
Venue:Proc. 30th IEEE Symposium on Security and Privacy,