An abstract machine model of dynamic module replacement. - Chris Walton; Dilsun Kirli Kaynar; Stephen Gilmore (Future Gener. Comput. Syst., 2000)

Distributed call-tracking for security. - Dilsun Kirli Kaynar (Comput. Lang. Syst. Struct., 2002)

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 (RTSS, 2003)

Decomposing Verification of Timed I/O Automata. - Dilsun Kirli Kaynar; Nancy A. Lynch (FORMATS/FTRTFT, 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)

Translating Timed I/O Automata Specifications for Theorem Proving in PVS. - Hongping Lim; Dilsun Kirli Kaynar; Nancy A. Lynch; Sayan Mitra (FORMATS, 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)

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 (DISC, 2006)

The Theory of Timed I/O Automata - Dilsun Kirli Kaynar; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Morgan & Claypool Publishers, 2006)

Compositional Security for Task-PIOAs. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (CSF, 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)

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)

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)

A Logic of Secure Systems and its Application to Trusted Computing. - Anupam Datta; Jason Franklin; Deepak Garg 001; Dilsun Kirli Kaynar (SP, 2009)

Experiences in the logical specification of the HIPAA and GLBA privacy laws. - Henry DeYoung; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar; Anupam Datta (WPES, 2010)

Compositional System Security with Interface-Confined Adversaries. - Deepak Garg 001; Jason Franklin; Dilsun Kirli Kaynar; Anupam Datta (MFPS, 2010)

The Theory of Timed I/O Automata, Second Edition - Dilsun Kirli Kaynar; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Morgan & Claypool Publishers, 2010)

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. - Anupam Datta; Jeremiah Blocki; Nicolas Christin; Henry DeYoung; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar; Arunesh Sinha (ICISS, 2011)

Formal Verification of Differential Privacy for Interactive Systems - Michael Carl Tschantz; Dilsun Kirli Kaynar; Anupam Datta (CoRR, 2011)

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). - Michael Carl Tschantz; Dilsun Kirli Kaynar; Anupam Datta (MFPS, 2011)

On Adversary Models and Compositional Security. - Anupam Datta; Jason Franklin; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar (IEEE Secur. Priv., 2011)

Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors. - Yannis Mallios; Lujo Bauer; Dilsun Kirli Kaynar; Jay Ligatti (STM, 2012)

Program Actions as Actual Causes: A Building Block for Accountability. - Anupam Datta; Deepak Garg 001; Dilsun Kirli Kaynar; Divya Sharma; Arunesh Sinha (CSF, 2015)

Probabilistic cost enforcement of security policies. - Yannis Mallios; Lujo Bauer; Dilsun Kirli Kaynar; Fabio Martinelli; Charles Morisset (J. Comput. Secur., 2015)

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)