Dilsun Kirli Kaynar

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 4

Top Topics

Security Policies

Mandatory Access Control

Top Venues

J. Comput. Syst. Sci.

Publications

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94 (2018)
Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
Program Actions as Actual Causes: A Building Block for Accountability. CSF (2015)
Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
Program Actions as Actual Causes: A Building Block for Accountability. CoRR (2015)
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
Probabilistic cost enforcement of security policies. J. Comput. Secur. 23 (6) (2015)
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
Probabilistic Cost Enforcement of Security Policies. STM (2013)
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Jay Ligatti
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors. STM (2012)
Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar
On Adversary Models and Compositional Security. IEEE Secur. Priv. 9 (3) (2011)
Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). MFPS (2011)
Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS (2011)
Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta
Formal Verification of Differential Privacy for Interactive Systems CoRR (2011)
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta
Compositional System Security with Interface-Confined Adversaries. MFPS (2010)
Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta
Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES (2010)
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar
A Logic of Secure Systems and its Application to Trusted Computing. IEEE Symposium on Security and Privacy (2009)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. 18 (1) (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. CONCUR (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. Theoretical Foundations of Practical Information Security (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptol. ePrint Arch. 2008 (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. IACR Cryptol. ePrint Arch. 2007 (2007)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Compositional Security for Task-PIOAs. CSF (2007)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC (2006)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptol. ePrint Arch. 2005 (2005)
Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS (2005)
Dilsun Kirli Kaynar, Nancy A. Lynch
Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT (2004)
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
Using simulated execution in verifying distributed algorithms. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
Using Simulated Execution in Verifying Distributed Algorithms. VMCAI (2003)
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. RTSS (2003)
Dilsun Kirli Kaynar
Distributed call-tracking for security. Comput. Lang. Syst. Struct. 28 (1) (2002)
Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore
An abstract machine model of dynamic module replacement. Future Gener. Comput. Syst. 16 (7) (2000)