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. ISBN 159829010X.
My PhD thesis entitled "Mobile Computation with Functions" has been published as a monograph by Kluwer Academic Publishers as a part of a series called Advances in Information Security. Monograph (ISBN 1-4020-7024-1) PhD Thesis ( PDF , PS , DVI ).
Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-structured Probabilistic I/O Automata. Under review.
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.
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. Distributed call-tracking. Computer Languages, Systems, and Structures , 28:129--154, 2002. Invited paper for the Special Issue on Computer Languages and Security.
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.
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.
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, 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.
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.
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 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.
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.
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