Dilsun K. Kaynar, Nancy A. Lynch, Roberto Segala, and Frits W. Vaandrager. The Theory of Timed I/O Automata. In series Synthesis Lectures on Computer Science, Morgan and Claypool Publishers , 101pp., 2006. Second edition in series Synthesis Lectures on Distibuted Computing Theory, 137pp., 2010. Online version available from publisher . Paperback edition also available from the Amazon. Doi:10.2200/S00310ED1V01Y201011DCT005
Zeliha Dilsun Kirli. Mobile Computation with Functions . In series Advances in Information Security, Kluwer Academic Publishers, 134pp, 2002. Based on my PhD thesis . Also available from Amazon .
Yannis Mallios, Lujo Bauer, Fabio Martinelli, and Charles Morisset. Probabilistic cost enforcement of security policies. In Proceedings of the 9th International Workshop on Security and Trust Management (STM 2013) , September 2013.
Yannis Mallios, Lujo Bauer, Dilsun Kaynar, and Jay Ligatti. Enforcing more with less: Formalizing target-aware run-time monitors. In Proceedings of the 8th International Workshop on Security and Trust Management (STM 2012) , September 2012.
Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kaynar. On Adversary Models and Compositional Security , IEEE Security & Privacy 9(3): 26-32, Special Issue on the Science of Security, 2011.
Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak. Garg, Limin Jia, Dilsun Kaynar, Arunesh Sinha, Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms, 7th International Conference on Information Systems Security, December 2011. Invited Paper.
Michael C. Tschantz, Dilsun Kaynar, Anupam Datta. Formal Verification of Differential Privacy for Interactive Systems, Extended abstract in Proceedings of the 27th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS 2011), May 2011. Invited paper. Full version.
Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kaynar, and Anupam Datta. Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws In Proceedings of the 9th ACM Workshop on Privacy in the Electronic Society (WPES 2010), October 2010.
Anupam Datta, Jason Franklin, Deepak Garg, and Dilsun Kaynar. Compositional System Security with Interface-Confined Adversaries. In Proceedings of the 26th Annual Conference on Mathematical Foundations of Programming Semantics, (MFPS 2010), pp 49-71, May 2010. Elsevier. Invited paper.
Anupam Datta, Jason Franklin, Deepak Garg, and Dilsun Kaynar. A Logic of Secure Systems and its Application to Trusted Computing In Proceedings of the 30th IEEE Symposium on Security and Privacy (Oakland 2009), pp 221-236, May 2009.
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discrete Event Dynamic Systems: Theory and Practice Volume 18 (1), 2008.
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira. Modeling Computational Security in Long-Lived Systems. In Proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008), Volume 5201 of Lecture Notes in Computer Science, pp 114-130, Toronto, Canada, July 2008. Springer.
Deepak Garg, Jason Franklin, Dilsun Kaynar, and Anupam Datta. A Logic for Reasoning About Networked Secure Systems . In Proceedings of the Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS 2008). Pittsburgh, Pennsylvania. June, 2008.
Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira. Compositional Security for Task-PIOAs. In Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF 2007), pages 125-139, IEEE Computer Society, Venice, Italy, July 2007.
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Time-bounded Task-PIOAs: A Framework for Analyzing Security Protocols . In Proceedings of the 20th International Symposium on Distributed Computing (DISC 2006) , Stockholm, Sweden, September 18-20, 2006. Invited paper.
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic I/O Automata . In Proceedings the 8th International Workshop on Discrete Event Systems (WODES 2006) , Ann Arbor, Michigan, July, 2006.
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala. Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols . In Proceedings of the Workshop on Formal and Computational Cryptography (FCC 2006) , pages 34-39, July 2006.
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols . In ERCIM News 63: 40-41, October 2005.
Hongping Lim, Dilsun Kaynar, Nancy Lynch, and Sayan Mitra. Translating timed I/O automata specifications for theorem proving in PVS. In Proceedings of International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005) , Volume 3829 of Lecture Notes on Computer Science, Uppsala, Sweden, September 26 - 28, 2005. Springer.
Dilsun Kaynar, Nancy Lynch, and Sayan Mitra. Specifying and Proving Timing Properties with TIOA Tools . In 25th IEEE International Real-Time Systems Symposium, Work in Progress Session (RTSS WIP) , Lisbon, Portugal, December 5-8 2004.
Dilsun Kaynar and Nancy Lynch. Decomposing Verification of Timed I/O Automata. In the Proceedings of the Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT) , Volume 3253 of Lecture Notes in Computer Science, pages 84-101, Grenoble, France, September, 2004. Springer.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, and Nancy Lynch. Using simulated execution in verifying distributed algorithms. Software Tools for Technology Transfer, 4: (1-10), 2003 . A previous version appeared in VMCAI'03, Fourth International Conference on Verification, Model Checking and Abstract Interpretation, (New York, New York), January 9-11, 2003, pages 283-297.
Dilsun Kirli Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. In Proceedings of RTSS 2003: The 24th IEEE International Real-Time Systems Symposium, Cancun, Mexico, December, 2003.
Dilsun Kirli. Distributed call-tracking. Computer Languages, Systems, and Structures , 28:129--154, 2002. Invited paper for the Special Issue on Computer Languages and Security.
Dilsun K. Kaynar, A. Chefter, L. Dean, S. Garland, N. Lynch, T. Ne Win, A. Ramirez. The IOA Simulator. Technical Report 843, MIT Laboratory for Computer Science, 2002
Dilsun Kirli Kaynar, A. Chefter, L. Dean, S. Garland, N. Lynch, T. Ne Win, A. Ramirez). Simulating nondeterministic systems at multiple levels of abstraction .In Proceedings of Tools Day held in conjuction with CONCUR 2002 , Brno, Czech Republic, August 2002.
Stephen Gilmore, Dilsun Kirli, and Chris Walton. An abstract machine model of dynamic module replacement. In Future Generation Computer Systems , Volume 16, Issue 7, pages 793-808, May 2000.
Dilsun Kirli . Confined mobile functions . In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001), Nova Scotia, Canada, June 2001.
Dilsun Kirli. Secure information flow for mobile functions. In Proceedings of the Workshop on Issues in the Theory of Security , Geneva, July 2000.
Dilsun Kirli. A static type system for detecting potentially transmissible functions . In P. Sewell and J. Vitek, editors, Proceedings of the 5th Mobile Object Systems Workshop: Programming Languages for Wide Area Networks , Lisbon, Portugal, June 1999.
Henry DeYoung, Deepak Garg, Dilsun Kaynar, Anupam Datta. Privacy Policy Specification and Audit in a Fixed-Point Logic - How to enforce HIPAA, GLBA and all that. Technical report CMU-CyLab-10-008, 2010.
Michael Tschantz, Anupam Datta, and Dilsun Kaynar. Differential Privacy for Probabilistic Systems. Technical Report CMU-CyLab-09-008, May, 2009.
Deepak Garg, Jason Franklin, Dilsun Kaynar, and Anupam Datta. Towards a Theory of Secure Systems. Technical Report CMU-Cylab-08-003. February, 2008.
Ran Canetti, Ling Cheung, Dilsun Kirli, Nancy Lynch, and Olivier Pereira. Modeling Computational Security in Long-lived Systems, Version 2. MIT-CSAIL-TR-2008-068, November 2008.
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. MIT-CSAIL-TR-2006-047, June 2006. This report is a revision of MIT-CSAIL-TR-2006-019, March 2006.
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic I/O Automata. MIT-CSAIL-TR-2006-023, March 2006.
Ran Canetti, Ling Cheung, Dilsun Kirli, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. In Cryptology ePrint Archive, Report 2005/452. Also in MIT CSAIL Technical Reports - MIT-CSAIL-2006-046. This report is a revision of MIT LCS Technical Reports - MIT-LCS-TR-1001a, December 2005 and MIT-LCS-TR-1001, August 2005.
Dilsun Kirli Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Technical Report MIT-LCS-TR-917a, MIT Laboratory for Computer Science, Cambridge, MA, April, 2004.
Dilsun Kirli.A polymorphic type and effect system for detecting mobile functions. Technical Report ECS-LFCS-99-413, Laboratory for Foundations of Computer Science, Division of Informatics, The University of Edinburgh, 1999.
Stephen Gilmore, Chris Walton, and Dilsun Kirli. Dynamic ML without dynamic types (joint work with S. Gilmore and C. Walton). Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1998.
Michael Tschantz, Anupam Datta, and Dilsun Kaynar. Towards Differential Privacy for Systems: Formal Model and Proof Technique. Submitted.
Nancy Lynch, Stephen Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman. The Tempo Language User Guide and Reference Manual. 2007.
Dilsun Kirli. A test case assessor for ML. MSc.Thesis. The University of Edinburgh, 1997
Poster presented at the Informatics Jamboree in 2000 gives an overview of my PhD thesis.
P. K. Manadatha, D. Kaynar, and J. M. Wing. A Formal Model for a System's Attack Surface. Unpublished manuscript.
Last modified: Fri Jun 22 16:11:39 BST 2001