Zeliha Dilsun Kaynar Associate Teaching Professor Website CMU Scholars Page Office 6009 Gates and Hillman Centers Email dilsun@cs.cmu.edu Phone (412) 268-9297 Department Computer Science Department Administrative Support Person Oliver Moss CSD Courses Taught 15150 - Spring, 2024 Biography Dilsun Kaynar is an Associate Teaching Professor at the Department of Computer Science, Carnegie Mellon University (CMU). Before joining the Computer Science Department she worked as a researcher at CMU CyLAb and at MIT Computer Science and Artificial Intelligence Laboratory in the Theory of Distributed Systems Group (2001-2006). She received her Ph.D. degree in 2002 from the University of Edinburgh in the UK and B.Sc. degree in 1996 from the Middle East Technical University in Turkey. Research/Teaching Statement Dilsun Kaynar's teaching interests lie in the areas of principles of programming, foundations of programming languages, formal modeling, and verification. Publications Journal Article Task-structured probabilistic I/O automata 2018 • Journal of Computer and System Sciences • 94:63-97 Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R Journal Article Probabilistic cost enforcement of security policies 2015 • Journal of Computer Security • 23(6):759-787 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C Conference Program Actions as Actual Causes: A Building Block for Accountability 2015 • Proceedings of the Computer Security Foundations Workshop • 261-275 Datta A, Garg D, Kaynar D, Sharma D, Sinha A Conference Enforcing more with less: Formalizing target-aware run-time monitors 2013 • Lecture Notes in Computer Science • 7783 LNCS:17-32 Mallios Y, Bauer L, Kaynar D, Ligatti J Conference Probabilistic Cost Enforcement of Security Policies 2013 • Lecture Notes in Computer Science • 8203:144-159 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C
Journal Article Task-structured probabilistic I/O automata 2018 • Journal of Computer and System Sciences • 94:63-97 Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R
Journal Article Probabilistic cost enforcement of security policies 2015 • Journal of Computer Security • 23(6):759-787 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C
Conference Program Actions as Actual Causes: A Building Block for Accountability 2015 • Proceedings of the Computer Security Foundations Workshop • 261-275 Datta A, Garg D, Kaynar D, Sharma D, Sinha A
Conference Enforcing more with less: Formalizing target-aware run-time monitors 2013 • Lecture Notes in Computer Science • 7783 LNCS:17-32 Mallios Y, Bauer L, Kaynar D, Ligatti J
Conference Probabilistic Cost Enforcement of Security Policies 2013 • Lecture Notes in Computer Science • 8203:144-159 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C
