8 citations · 13 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
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.CR2011★ 8 cited
Formal Verification of Differential Privacy for Interactive Systems
Michael Carl Tschantz, Dilsun Kaynar, Anupam Datta
Differential privacy is a promising approach to privacy preserving data analysis with a well-developed theory for functions. Despite recent work on implementing systems that aim to…