- Task-Structured Probabilistic I/O Automata Ran Canetti,,, Ling Cheung, Dilsun Kaynar, Moses Liskov,
- Modeling Computational Security in Long-Lived Systems
- The Theory of Timed I/O Automata Dilsun K. Kaynar and Nancy Lynch
- European Research Consortium for Informatics and Mathematics www.ercim.org
- Mobile Functions and Secure Information Flow Dilsun Krl
- A Polymorphic Type and Effect System for Detecting Mobile Functions
- Decomposing Veri cation of Timed I/O Automata Dilsun K rl Kaynar and Nancy Lynch
- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
- Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing RealTime Systems
- Compositional System Security with Interface-Confined Adversaries
- Simulating Nondeterministic Systems at Multiple Levels of Abstraction
- The IOA Simulator 1 Dilsun K rl Kaynar, Anna Chefter, Laura Dean,
- A Static Type System for Detecting Potentially Transmissible Functions
- Using Simulated Execution in Verifying Distributed Algorithms
- Mobile Computation with Functions MOBILE COMPUTATION WITH
- Confined Mobile Functions Z. Dilsun Krl
- Specifying and Proving Timing Properties with TIOA Tools Dilsun Kaynar, Nancy Lynch, Sayan Mitra
- Compositional Security for Task-PIOAs Ran Canetti
- A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta
