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, Second Edition	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dilsun Kaynar