Dilsun Kaynar

Available identifiers

zbMath Open kaynar.dilsun-kirliMaRDI QIDQ1020555

List of research outcomes

Publication	Date of Publication	Type
Task-structured probabilistic I/O automata	2018-04-18	Paper
Formal verification of differential privacy for interactive systems (extended abstract)	2016-07-15	Paper
Compositional system security with interface-confined adversaries	2016-07-08	Paper
The Theory of Timed I/O Automata	2011-06-21	Paper
The theory of timed I/O automata	2011-05-20	Paper
Analyzing security protocols using time-bounded task-PIOAs	2009-05-29	Paper
Modeling Computational Security in Long-Lived Systems	2008-11-25	Paper
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols	2008-09-09	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper

Research outcomes over time

This page was built for person: Dilsun Kaynar