|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract).  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Dilsun Kirli Kaynar, Anupam Datta |
Formal Verification of Differential Privacy for Interactive Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar |
On Adversary Models and Compositional Security. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha |
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. |
ICISS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta |
Compositional System Security with Interface-Confined Adversaries. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
The Theory of Timed I/O Automata, Second Edition |
|
2010 |
DOI RDF |
|
| 1 | Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta |
Experiences in the logical specification of the HIPAA and GLBA privacy laws. |
WPES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar |
A Logic of Secure Systems and its Application to Trusted Computing. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems, Version 2. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer |
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Compositional Security for Task-PIOAs. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
The Theory of Timed I/O Automata |
|
2006 |
DOI RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra |
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
Using simulated execution in verifying distributed algorithms. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Invariant detection, Static analysis, Theorem proving, Dynamic analysis |
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch |
Decomposing Verification of Timed I/O Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
Using Simulated Execution in Verifying Distributed Algorithms. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar |
Distributed call-tracking for security. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore |
An abstract machine model of dynamic module replacement. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")