Dilsun Kırlı Kaynar

Cited by

	All	Since 2018
Citations	1728	387
h-index	19	11
i10-index	30	13

120

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 7 14 34 56 66 104 93 92 111 111 105 107 113 111 91 68 95 59 74 52 67 40

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Roberto SegalaUniversità di VeronaVerified email at univr.it
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Ling Cheung HughesDover MicrosystemsVerified email at dovermicrosystems.com
Ran CanettiProfessor of Computer Science, Boston UniversityVerified email at bu.edu
Olivier PereiraUCLouvainVerified email at uclouvain.be
Jason FranklinResearch Associate, Stanford UniversityVerified email at cs.stanford.edu
Sayan MitraUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Arunesh SinhaRutgers UniversityVerified email at rutgers.edu
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
Divya SharmaGoogleVerified email at google.com
Pratyusa K. ManadhataFacebookVerified email at alumni.cmu.edu
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Lujo BauerCarnegie Mellon UniversityVerified email at cmu.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Nicolas ChristinProfessor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Jay LigattiUniversity of South FloridaVerified email at cse.usf.edu
Charles MorissetReader in Security, Newcastle UniversityVerified email at ncl.ac.uk

Dilsun Kırlı Kaynar

Associate Teaching Professor, Carnegie Mellon University

Verified email at cmu.edu - Homepage

Formal methods Foundations of Security Programming Languages CS Education


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The theory of timed I/O automata D Kaynar, N Lynch, R Segala, F Vaandrager Morgan & Claypool Publishers, 2010	308	2010
The theory of timed I/O automata D Kaynar, N Lynch, R Segala, F Vaandrager Morgan & Claypool Publishers, 2010	307	2010
Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems DK Kaynar, N Lynch, R Segala, F Vaandrager RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 166-177, 2003	176	2003
A logic of secure systems and its application to trusted computing A Datta, J Franklin, D Garg, D Kaynar 2009 30th IEEE Symposium on Security and Privacy, 221-236, 2009	140	2009
Experiences in the logical specification of the HIPAA and GLBA privacy laws H DeYoung, D Garg, L Jia, D Kaynar, A Datta Proceedings of the 9th Annual ACM Workshop on Privacy in the Electronic …, 2010	121	2010
A formal model for a system’s attack surface PK Manadhata, JM Wing Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats, 1-28, 2011	110	2011
The theory of timed I D Kaynar, N Lynch, R Segala, F Vaandrager O automata. Technical Report MIT/LCS/TR-917a, MIT Laboratory for Computer …, 2004	80	2004
Time-bounded task-PIOAs: A framework for analyzing security protocols R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala International Symposium on Distributed Computing, 238-253, 2006	73	2006
Dynamic ML without dynamic types S Gilmore, D Kirli, CD Walton University of Edinburgh, 1997	66	1997
Task-structured probabilistic i/o automata R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala 2006 8th International Workshop on Discrete Event Systems, 207-214, 2006	60	2006
Formal verification of differential privacy for interactive systems MC Tschantz, D Kaynar, A Datta Electronic Notes in Theoretical Computer Science 276, 61-79, 2011	57	2011
Understanding and protecting privacy: Formal semantics and principled audit mechanisms A Datta, J Blocki, N Christin, H DeYoung, D Garg, L Jia, D Kaynar, ... International Conference on Information Systems Security, 1-27, 2011	50	2011
Compositional system security with interface-confined adversaries D Garg, J Franklin, D Kaynar, A Datta Electronic Notes in Theoretical Computer Science 265, 49-71, 2010	40	2010
Analyzing security protocols using time-bounded task-PIOAs R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala Discrete Event Dynamic Systems 18 (1), 111-159, 2008	38	2008
Program actions as actual causes: A building block for accountability A Datta, D Garg, D Kaynar, D Sharma, A Sinha 2015 IEEE 28th Computer Security Foundations Symposium, 261-275, 2015	36	2015
Translating timed I/O automata specifications for theorem proving in PVS H Lim, D Kaynar, N Lynch, S Mitra International Conference on Formal Modeling and Analysis of Timed Systems, 17-31, 2005	33	2005
On adversary models and compositional security A Datta, J Franklin, D Garg, L Jia, D Kaynar IEEE Security & Privacy 9 (3), 26-32, 2010	32	2010
Using simulated execution in verifying distributed algorithms TN Win, MD Ernst, SJ Garland, D Kırlı, NA Lynch International journal on software tools for technology transfer 6, 67-76, 2004	30	2004
Using probabilistic I/O automata to analyze an oblivious transfer protocol R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, R Segala	27	2005
Compositional security for task-pioas R Canetti, L Cheung, D Kaynar, N Lynch, O Pereira 20th IEEE Computer Security Foundations Symposium (CSF'07), 125-139, 2007	22	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors