5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CR2015★ 5 cited
Program Actions as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar +2
Protocols for tasks such as authentication, electronic voting, and secure multiparty computation ensure desirable security properties if agents follow their prescribed programs. Ho…
cs.CR2015
Programs as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar +2
An updated version of this paper is available at http://arxiv.org/abs/1505.01131