Dilsun Kirli Kaynar

	2011
23		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: 1-27
22		Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta: Formal Verification of Differential Privacy for Interactive Systems CoRR abs/1101.2819: (2011)
21		Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta: Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract). Electr. Notes Theor. Comput. Sci. 276: 61-79 (2011)
20		Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar: On Adversary Models and Compositional Security. IEEE Security & Privacy 9(3): 26-32 (2011)
	2010
19		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata, Second Edition Morgan & Claypool Publishers 2010
18		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: 73-82
17		Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta: Compositional System Security with Interface-Confined Adversaries. Electr. Notes Theor. Comput. Sci. 265: 49-71 (2010)
	2009
16		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: 221-236
	2008
15		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. CONCUR 2008: 114-130
14		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discrete Event Dynamic Systems 18(1): 111-159 (2008)
13		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptology ePrint Archive 2008: 492 (2008)
	2007
12		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Compositional Security for Task-PIOAs. CSF 2007: 125-139
11		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. IACR Cryptology ePrint Archive 2007: 406 (2007)
	2006
10		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata Morgan & Claypool Publishers 2006
9		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC 2006: 238-253
	2005
8		Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra: Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31
7		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptology ePrint Archive 2005: 452 (2005)
	2004
6		Dilsun Kirli Kaynar, Nancy A. Lynch: Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT 2004: 84-101
5		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)
	2003
4		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: 166-177
3		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297
	2002
2		Dilsun Kirli Kaynar: Distributed call-tracking for security. Comput. Lang. 28(1): 129-154 (2002)
	2000
1		Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore: An abstract machine model of dynamic module replacement. Future Generation Comp. Syst. 16(7): 793-808 (2000)

Coauthor Index

1	Jeremiah Blocki	[23]
2	Ran Canetti	[7] [9] [11] [12] [13] [14] [15]
3	Ling Cheung	[7] [9] [11] [12] [13] [14] [15]
4	Nicolas Christin	[23]
5	Anupam Datta	[16] [17] [18] [20] [21] [22] [23]
6	Henry DeYoung	[18] [23]
7	Michael D. Ernst	[3] [5]
8	Jason Franklin	[16] [17] [20]
9	Deepak Garg	[16] [17] [18] [20] [23]
10	Stephen J. Garland	[3] [5]
11	Stephen Gilmore (Stephen T. Gilmore)	[1]
12	Limin Jia	[18] [20] [23]
13	Hongping Lim	[8]
14	Moses Liskov	[7] [9] [14]
15	Nancy A. Lynch	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [19]
16	Sayan Mitra	[8]
17	Olivier Pereira	[7] [9] [11] [12] [13] [14] [15]
18	Roberto Segala	[4] [7] [9] [10] [14] [19]
19	Arunesh Sinha	[23]
20	Michael Carl Tschantz	[21] [22]
21	Frits W. Vaandrager	[4] [10] [19]
22	Chris Walton	[1]
23	Toh Ne Win	[3] [5]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page