Dilsun Kirli Kaynar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2003–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICISS | Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. | Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha |
| 2009 | SP | A Logic of Secure Systems and its Application to Trusted Computing. | Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar |
| 2008 | CONCUR | Modeling Computational Security in Long-Lived Systems. | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
| 2003 | RTSS | Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | VMCAI | Using Simulated Execution in Verifying Distributed Algorithms. | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |