Dilsun Kırlı Kaynar

Citado por

	Total	Desde 2019
Citas	1740	323
Índice h	19	10
Índice i10	30	10

120

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

Acceso público

Ver todo

8 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Nancy LynchProfessor of EECS, MITDirección de correo verificada de csail.mit.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUDirección de correo verificada de cmu.edu
Roberto SegalaUniversità di VeronaDirección de correo verificada de univr.it
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Dirección de correo verificada de mpi-sws.org
Ling Cheung HughesDover MicrosystemsDirección de correo verificada de dovermicrosystems.com
Ran CanettiProfessor of Computer Science, Boston UniversityDirección de correo verificada de bu.edu
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityDirección de correo verificada de cs.ru.nl
Olivier PereiraUCLouvainDirección de correo verificada de uclouvain.be
Jason FranklinResearch Associate, Stanford UniversityDirección de correo verificada de cs.stanford.edu
Arunesh SinhaRutgers UniversityDirección de correo verificada de rutgers.edu
Sayan MitraUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Divya SharmaGoogleDirección de correo verificada de google.com
Pratyusa K. ManadhataFacebookDirección de correo verificada de alumni.cmu.edu
Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityDirección de correo verificada de columbia.edu
Lujo BauerCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonDirección de correo verificada de cs.washington.edu
Nicolas ChristinCarnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Jay LigattiUniversity of South FloridaDirección de correo verificada de cse.usf.edu
Charles MorissetReader in Security, Newcastle UniversityDirección de correo verificada de ncl.ac.uk

Seguir

Dilsun Kırlı Kaynar

Associate Teaching Professor, Carnegie Mellon University

Dirección de correo verificada de cmu.edu - Página principal

Formal methods Foundations of Security Programming Languages CS Education


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The theory of timed I/O automata DK Kaynar Morgan & Claypool Publishers, 2011	318	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	174	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	130	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	65	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	64	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	20	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores