| 2008 |
|---|
| 10 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Olivier Pereira:
Modeling Computational Security in Long-Lived Systems.
CONCUR 2008: 114-130 |
| 9 | 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 |
|---|
| 8 | EE | Ling Cheung,
Calvin C. Newport:
Provably secure ciphertext policy ABE.
ACM Conference on Computer and Communications Security 2007: 456-465 |
| 7 | EE | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Nancy A. Lynch,
Olivier Pereira:
Compositional Security for Task-PIOAs.
CSF 2007: 125-139 |
| 6 | EE | Ling Cheung,
Mariëlle Stoelinga,
Frits W. Vaandrager:
A testing scenario for probabilistic processes.
J. ACM 54(6): (2007) |
| 2006 |
|---|
| 5 | 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 |
| 4 | EE | Ling Cheung,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Switched PIOA: Parallel composition via distributed scheduling.
Theor. Comput. Sci. 365(1-2): 83-108 (2006) |
| 2005 |
|---|
| 3 | EE | Ling Cheung:
Randomized Wait-Free Consensus Using an Atomicity Assumption.
OPODIS 2005: 47-60 |
| 2004 |
|---|
| 2 | EE | Ling Cheung,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Switched Probabilistic I/O Automata.
ICTAC 2004: 494-510 |
| 1 | EE | Ling Cheung,
Jesse Hughes:
Concise Graphs and Functional Bisimulations.
Electr. Notes Theor. Comput. Sci. 100: 5-29 (2004) |
