Dilsun Kaynar
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Task-structured probabilistic I/O automata Journal of Computer and System Sciences | 2018-04-18 | Paper |
| Formal verification of differential privacy for interactive systems (extended abstract) Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
| Compositional system security with interface-confined adversaries Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| The Theory of Timed I/O Automata Synthesis Lectures on Computer Science | 2011-06-21 | Paper |
| The theory of timed I/O automata Synthesis Lectures on Distributed Computing Theory | 2011-05-20 | Paper |
| Analyzing security protocols using time-bounded task-PIOAs Discrete Event Dynamic Systems | 2009-05-29 | Paper |
| Modeling Computational Security in Long-Lived Systems CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
| Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols Lecture Notes in Computer Science | 2008-09-09 | Paper |
| Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science | 2006-11-14 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science | 2005-08-19 | Paper |
Research outcomes over time
This page was built for person: Dilsun Kaynar
