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
