Dilsun Kırlı Kaynar

Cited by

	All	Since 2017
Citations	1619	377
h-index	18	11
i10-index	28	11

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120227 5 10 32 56 62 100 92 88 112 111 106 107 113 110 91 70 97 57 79 53 21

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
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
Olivier PereiraUCLouvainVerified email at uclouvain.be
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Jason FranklinResearch Associate, Stanford UniversityVerified email at cs.stanford.edu
Limin JiaCarnegie Mellon UniversityVerified email at cmu.edu
Sayan MitraUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Arunesh SinhaSingapore Management UniversityVerified email at smu.edu.sg
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
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Lujo BauerCarnegie Mellon UniversityVerified email at cmu.edu
Nicolas ChristinAssociate Professor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Jay LigattiUniversity of South FloridaVerified email at cse.usf.edu

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, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010	297	2010
The theory of timed I/O automata DK Kaynar, N Lynch, R Segala, F Vaandrager Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010	296	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	163	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	141	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	114	2010
A formal model for a system’s attack surface PK Manadhata, JM Wing Moving Target Defense, 1-28, 2011	96	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	78	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	64	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	50	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	48	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	39	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	31	2015
On adversary models and compositional security A Datta, J Franklin, D Garg, L Jia, D Kaynar IEEE Security & Privacy 9 (3), 26-32, 2010	31	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	30	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 (1), 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	26	2005
Using task-structured probabilistic I/O automata to analyze an oblivious transfer protocol R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala	18	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 this author

Cited by

Co-authors