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]

Authors

Michael Backes

This author has not been identified. Look up 'Michael Backes' in Google

Boris Köpf

This author has not been identified. Look up 'Boris Köpf' in Google

Andrey Rybalchenko

This author has not been identified. Look up 'Andrey Rybalchenko' in Google