Ling Cheung

According to our database, Ling Cheung authored at least 16 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

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

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

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

2007

A testing scenario for probabilistic processes.

Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager

J. ACM, 2007

Provably Secure Ciphertext Policy ABE.

Ling Cheung, 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

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

On the Role of Scheduling in Simulation-Based Security.

Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira

IACR Cryptol. ePrint Arch., 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

Compositional Security for Task-PIOAs.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Switched PIOA: Parallel composition via distributed scheduling.

Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Theor. Comput. Sci., 2006

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

Proceedings of the Distributed Computing, 20th International Symposium, 2006

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

Randomized Wait-Free Consensus Using an Atomicity Assumption.

Ling Cheung

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

2004

Switched Probabilistic I/O Automata.

Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Concise Graphs and Functional Bisimulations.

Ling Cheung, Jesse Hughes

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003