Concise Graphs and Functional Bisimulations. - Ling Cheung; Jesse Hughes (CMCIM/GETCO@CONCUR, 2003)

Switched Probabilistic I/O Automata. - Ling Cheung; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (ICTAC, 2004)

Randomized Wait-Free Consensus Using an Atomicity Assumption. - Ling Cheung (OPODIS, 2005)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (IACR Cryptol. ePrint Arch., 2005)

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (DISC, 2006)

Switched PIOA: Parallel composition via distributed scheduling. - Ling Cheung; Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager (Theor. Comput. Sci., 2006)

Compositional Security for Task-PIOAs. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (CSF, 2007)

Modeling Computational Security in Long-Lived Systems. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (IACR Cryptol. ePrint Arch., 2007)

On the Role of Scheduling in Simulation-Based Security. - Ran Canetti; Ling Cheung; Nancy A. Lynch; Olivier Pereira (IACR Cryptol. ePrint Arch., 2007)

Collusion-Resistant Group Key Management Using Attribute-Based Encryption. - Ling Cheung; Joseph A. Cooley; Roger I. Khazan; Calvin C. Newport (IACR Cryptol. ePrint Arch., 2007)

Verifying Statistical Zero Knowledge with Approximate Implementations. - Ling Cheung; Sayan Mitra; Olivier Pereira (IACR Cryptol. ePrint Arch., 2007)

Provably Secure Ciphertext Policy ABE. - Ling Cheung; Calvin C. Newport (IACR Cryptol. ePrint Arch., 2007)

A testing scenario for probabilistic processes. - Ling Cheung; Mariëlle Stoelinga; Frits W. Vaandrager (J. ACM, 2007)

Analyzing Security Protocols Using Time-Bounded Task-PIOAs. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (Discret. Event Dyn. Syst., 2008)

Modeling Computational Security in Long-Lived Systems, Version 2. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Nancy A. Lynch; Olivier Pereira (IACR Cryptol. ePrint Arch., 2008)

Task-structured probabilistic I/O automata. - Ran Canetti; Ling Cheung; Dilsun Kirli Kaynar; Moses D. Liskov; Nancy A. Lynch; Olivier Pereira; Roberto Segala (J. Comput. Syst. Sci., 2018)