193 citations · 244 across the 22 of their papers we have counts for
Showing 2015 · cs.CRShow all
2 papers · 2 filters
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