Dilsun Kirli Kaynar

According to our database, Dilsun Kirli Kaynar authored at least 25 papers between 2000 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Task-structured probabilistic I/O automata.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala

J. Comput. Syst. Sci., 2018

2015

Probabilistic cost enforcement of security policies.

Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset

J. Comput. Secur., 2015

Program Actions as Actual Causes: A Building Block for Accountability.

Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2012

Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors.

Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Jay Ligatti

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

2011

On Adversary Models and Compositional Security.

Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar

IEEE Secur. Priv., 2011

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract).

Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Formal Verification of Differential Privacy for Interactive Systems

Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta

CoRR, 2011

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.

Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha

Proceedings of the Information Systems Security - 7th International Conference, 2011

2010

The Theory of Timed I/O Automata, Second Edition

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02003-2, 2010

Compositional System Security with Interface-Confined Adversaries.

Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Experiences in the logical specification of the HIPAA and GLBA privacy laws.

Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010

2009

A Logic of Secure Systems and its Application to Trusted Computing.

Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

2008

Modeling Computational Security in Long-Lived Systems, Version 2.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira

IACR Cryptol. ePrint Arch., 2008

Analyzing Security Protocols Using Time-Bounded Task-PIOAs.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala

Discret. Event Dyn. Syst., 2008

2007

Modeling Computational Security in Long-Lived Systems.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira

IACR Cryptol. ePrint Arch., 2007

Compositional Security for Task-PIOAs.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

The Theory of Timed I/O Automata

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2006

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala

Proceedings of the Distributed Computing, 20th International Symposium, 2006

2005

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala

IACR Cryptol. ePrint Arch., 2005

Translating Timed I/O Automata Specifications for Theorem Proving in PVS.

Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004

Using simulated execution in verifying distributed algorithms.

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch

Int. J. Softw. Tools Technol. Transf., 2004

Decomposing Verification of Timed I/O Automata.

Dilsun Kirli Kaynar, Nancy A. Lynch

Proceedings of the Formal Techniques, 2004

2003

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002

Distributed call-tracking for security.

Dilsun Kirli Kaynar

Comput. Lang. Syst. Struct., 2002

2000

An abstract machine model of dynamic module replacement.

Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore

Future Gener. Comput. Syst., 2000