Anupam Datta, Deepak Garg 0001, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha. Program Actions as Actual Causes: A Building Block for Accountability. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 261-275, IEEE, 2015. [doi]
Abstract is missing.