| 2008 |
|---|
| 11 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Olivier Pereira:
Modeling Computational Security in Long-Lived Systems.
CONCUR 2008: 114-130 |
| 10 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Moses Liskov,
Nancy A. Lynch,
Olivier Pereira,
Roberto Segala:
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
Discrete Event Dynamic Systems 18(1): 111-159 (2008) |
| 2007 |
|---|
| 9 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Olivier Pereira:
Compositional Security for Task-PIOAs.
CSF 2007: 125-139 |
| 2006 |
|---|
| 8 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Moses Liskov,
Nancy A. Lynch,
Olivier Pereira,
Roberto Segala:
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.
DISC 2006: 238-253 |
| 2005 |
|---|
| 7 | EE | Hongping Lim,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Sayan Mitra:
Translating Timed I/O Automata Specifications for Theorem Proving in PVS.
FORMATS 2005: 17-31 |
| 2004 |
|---|
| 6 | EE | Dilsun Kirli Kaynar,
Nancy A. Lynch:
Decomposing Verification of Timed I/O Automata.
FORMATS/FTRTFT 2004: 84-101 |
| 5 | EE | Toh Ne Win,
Michael D. Ernst,
Stephen J. Garland,
Dilsun Kirli Kaynar,
Nancy A. Lynch:
Using simulated execution in verifying distributed algorithms.
STTT 6(1): 67-76 (2004) |
| 2003 |
|---|
| 4 | EE | Dilsun Kirli Kaynar,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.
RTSS 2003: 166-177 |
| 3 | EE | Toh Ne Win,
Michael D. Ernst,
Stephen J. Garland,
Dilsun Kirli Kaynar,
Nancy A. Lynch:
Using Simulated Execution in Verifying Distributed Algorithms.
VMCAI 2003: 283-297 |
| 2002 |
|---|
| 2 | | Dilsun Kirli Kaynar:
Distributed call-tracking for security.
Comput. Lang. 28(1): 129-154 (2002) |
| 2000 |
|---|
| 1 | EE | Chris Walton,
Dilsun Kirli Kaynar,
Stephen Gilmore:
An abstract machine model of dynamic module replacement.
Future Generation Comp. Syst. 16(7): 793-808 (2000) |
