Dilsun Kaynar
- Program Actions as Actual Causes: A Building Block for Accountability
2015/05/05 by Anupam Datta, Datta, Anupam, Deepak Garg +7 · 3 citations
Computer Science · Social Sciences · #Access Control and Trust #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Testing and Debugging Techniques
- Formal Verification of Differential Privacy for Interactive Systems
2011/01/14 by Michael Carl Tschantz, Dilsun Kaynar, Tschantz, Michael Carl +3 · 1 citation
Social Sciences · Computer Science · #Privacy, Security, and Data Protection #Cloud Data Security Solutions #Privacy-Preserving Technologies in Data