Dilsun Kırlı Kaynar

Cited by

	All	Since 2019
Citations	1746	325
h-index	19	10
i10-index	30	11

120

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 7 13 34 51 66 98 90 91 108 115 100 107 114 113 87 67 98 57 77 53 58 42 38

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
Anupam DattaSnowflake AI Research, Ex-Prof CMUVerified email at snowflake.com
Roberto SegalaUniversità di VeronaVerified email at univr.it
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
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Olivier PereiraUCLouvainVerified email at uclouvain.be
Jason FranklinResearch Associate, Stanford UniversityVerified email at cs.stanford.edu
Arunesh SinhaRutgers UniversityVerified email at rutgers.edu
Sayan MitraUniversity of Illinois at Urbana ChampaignVerified email at illinois.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 ChristinCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Jay LigattiUniversity of South FloridaVerified email at cse.usf.edu
Charles MorissetAssociate Professor, Durham UniversityVerified email at durham.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 DK Kaynar Morgan & Claypool Publishers, 2011	319	2011
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	175	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	134	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	131	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	119	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	81	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	69	2006
Dynamic ML without dynamic types S Gilmore, D Kirli, CD Walton University of Edinburgh, 1997	66	1997
Formal verification of differential privacy for interactive systems MC Tschantz, D Kaynar, A Datta Electronic Notes in Theoretical Computer Science 276, 61-79, 2011	65	2011
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	59	2006
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	51	2011
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	39	2015
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	39	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
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
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	32	2005
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	21	2007
Task-structured probabilistic I/O automata R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala Journal of Computer and System Sciences 94, 63-97, 2018	18	2018

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