Riccardo Bortolameotti, Andreas Peter, Maarten H. Everts, Willem Jonker, Pieter H. Hartel. Reliably determining data leakage in the presence of strong attackers. In Stephen Schwab, William K. Robertson, Davide Balzarotti, editors, Proceedings of the 32nd Annual Conference on Computer Security Applications, ACSAC 2016, Los Angeles, CA, USA, December 5-9, 2016. pages 484-495, ACM, 2016. [doi]