The following pages link to Dilsun Kaynar (Q1020555):
Displayed 10 items.
- Analyzing security protocols using time-bounded task-PIOAs (Q1020557) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- The Theory of Timed I/O Automata, Second Edition (Q3002201) (← links)
- The Theory of Timed I/O Automata (Q3006716) (← links)
- Compositional System Security with Interface-Confined Adversaries (Q3178245) (← links)
- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols (Q3524308) (← links)
- Modeling Computational Security in Long-Lived Systems (Q3541014) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464767) (← links)
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897951) (← links)