Ling Cheung

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