Publications by Zeliha Dilsun Kaynar

2018 • Journal of Computer and System Sciences • 94:63-97
Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R

2015 • Journal of Computer Security • 23(6):759-787
Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C

2015 • Proceedings of the Computer Security Foundations Workshop • 261-275
Datta A, Garg D, Kaynar D, Sharma D, Sinha A

2013 • Lecture Notes in Artificial Intelligence • 7783 LNCS:17-32
Mallios Y, Bauer L, Kaynar D, Ligatti J

2013 • Lecture Notes in Artificial Intelligence • 8203:144-159
Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C

2012 • Synthesis Lectures on Computer Science • 91-92
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 11-18
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 1-6
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 7-9
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 53-72
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 79-90
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 19-51
Kaynar DK, Lynch N, Segala R, Vaandrager F

2012 • Synthesis Lectures on Computer Science • 73-78
Kaynar DK, Lynch N, Segala R, Vaandrager F

2011 • Electronic Notes in Theoretical Computer Science • 276:61-79
Tschantz MC, Kaynar D, Datta A

2011 • IEEE Security and Privacy Magazine • 9(3):26-32
Datta A, Franklin J, Garg D, Jia L, Kaynar D

2011 • Lecture Notes in Artificial Intelligence • 7093:1-+
Datta A, Blocki J, Christin N, DeYoung H, Garg D, Jia L, Kaynar D, Sinha A

2010 • Electronic Notes in Theoretical Computer Science • 265:49-71
Garg D, Franklin J, Kaynar D, Datta A

2010 • Proceedings of the ACM Conference on Computer and Communications Security • 73-82
DeYoung H, Garg D, Jia L, Kaynar D, Datta A

2009 • Proceedings / IEEE Symposium on Security and Privacy; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Security and Privacy in cooperation with the International Association for Cryptologic Research (IARC... • 221-236
Datta A, Franklin J, Garg D, Kaynar D

2008 • Discrete Event Dynamic Systems • 18(1):111-159
Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R

2008 • Lecture Notes in Artificial Intelligence • 5201 LNCS:114-130
Canetti R, Cheung L, Kaynar D, Lynch N, Pereira O

2007 • Proceedings - IEEE Computer Security Foundations Symposium • 125-139
Canetti R, Cheung L, Kaynar D, Lynch N, Pereira O

2006 • Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006 • 207-214
Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R

2006 • Synthesis Lectures on Computer Science • 1:1-114
Kaynar DK, Lynch N, Segala R, Vaandrager F

2006 • Lecture Notes in Artificial Intelligence • 4167 LNCS:238-253
Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R