Ling Cheung

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 1

Top Topics

Posterior Probability

Probabilistic Approaches

Finite Automata

Top Venues

J. Comput. Syst. Sci.

Publications

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94 (2018)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. 18 (1) (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. CONCUR (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. Theoretical Foundations of Practical Information Security (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptol. ePrint Arch. 2008 (2008)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Modeling Computational Security in Long-Lived Systems. IACR Cryptol. ePrint Arch. 2007 (2007)
Ling Cheung, Calvin C. Newport
Provably secure ciphertext policy ABE. CCS (2007)
Ling Cheung, Calvin C. Newport
Provably Secure Ciphertext Policy ABE. IACR Cryptol. ePrint Arch. 2007 (2007)
Ling Cheung, Joseph A. Cooley, Roger I. Khazan, Calvin C. Newport
Collusion-Resistant Group Key Management Using Attribute-Based Encryption. IACR Cryptol. ePrint Arch. 2007 (2007)
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager
A testing scenario for probabilistic processes. J. ACM 54 (6) (2007)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira
Compositional Security for Task-PIOAs. CSF (2007)
Ling Cheung, Sayan Mitra, Olivier Pereira
Verifying Statistical Zero Knowledge with Approximate Implementations. IACR Cryptol. ePrint Arch. 2007 (2007)
Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira
On the Role of Scheduling in Simulation-Based Security. IACR Cryptol. ePrint Arch. 2007 (2007)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC (2006)
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. 365 (1-2) (2006)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptol. ePrint Arch. 2005 (2005)
Ling Cheung
Randomized Wait-Free Consensus Using an Atomicity Assumption. OPODIS (2005)
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched Probabilistic I/O Automata. ICTAC (2004)
Ling Cheung, Jesse Hughes
Concise Graphs and Functional Bisimulations. Electron. Notes Theor. Comput. Sci. 100 (2004)