Dilsun Kirli Kaynar

30 papers A* 1A 4B 4Misc 1Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2018 J jnl
Task-structured probabilistic I/O automata.
J. Comput. Syst. Sci.
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2015 J jnl
Probabilistic cost enforcement of security policies.
J. Comput. Secur.
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
2015 A conf
Program Actions as Actual Causes: A Building Block for Accountability.
CSF
Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
2015 J jnl
Program Actions as Actual Causes: A Building Block for Accountability.
CoRR
Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
2013 — conf
Probabilistic Cost Enforcement of Security Policies.
STM
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
2012 — conf
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors.
STM
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Jay Ligatti
2011 J jnl
Formal Verification of Differential Privacy for Interactive Systems
CoRR
Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta
2011 B conf
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract).
MFPS
Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta
2011 J jnl
On Adversary Models and Compositional Security.
IEEE Secur. Priv.
Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar
2011 Misc conf
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
ICISS
Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
2010 B conf
Compositional System Security with Interface-Confined Adversaries.
MFPS
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta
2010 — conf
Experiences in the logical specification of the HIPAA and GLBA privacy laws.
WPES
Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta
2010 — book
The Theory of Timed I/O Automata, Second Edition
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2009 A* conf
A Logic of Secure Systems and its Application to Trusted Computing.
SP
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar
2008 J jnl
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
Discret. Event Dyn. Syst.
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2008 J jnl
Modeling Computational Security in Long-Lived Systems, Version 2.
IACR Cryptol. ePrint Arch.
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2008 B conf
Modeling Computational Security in Long-Lived Systems.
CONCUR
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2008 — conf
Modeling Computational Security in Long-Lived Systems.
Theoretical Foundations of Practical Information Security
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2007 A conf
Compositional Security for Task-PIOAs.
CSF
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2007 J jnl
Modeling Computational Security in Long-Lived Systems.
IACR Cryptol. ePrint Arch.
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
2006 — book
The Theory of Timed I/O Automata
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2006 A conf
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.
DISC
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2005 — conf
Translating Timed I/O Automata Specifications for Theorem Proving in PVS.
FORMATS
Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra
2005 J jnl
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.
IACR Cryptol. ePrint Arch.
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
2004 — conf
Decomposing Verification of Timed I/O Automata.
FORMATS/FTRTFT
Dilsun Kirli Kaynar, Nancy A. Lynch
2004 J jnl
Using simulated execution in verifying distributed algorithms.
Int. J. Softw. Tools Technol. Transf.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2003 A conf
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.
RTSS
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
2003 B conf
Using Simulated Execution in Verifying Distributed Algorithms.
VMCAI
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2002 J jnl
Distributed call-tracking for security.
Comput. Lang. Syst. Struct.
Dilsun Kirli Kaynar
2000 J jnl
An abstract machine model of dynamic module replacement.
Future Gener. Comput. Syst.
Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore