Ling Cheung

	2008
17		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. CONCUR 2008: 114-130
16		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)
15		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems, Version 2. IACR Cryptology ePrint Archive 2008: 492 (2008)
	2007
14		Ling Cheung, Calvin C. Newport: Provably secure ciphertext policy ABE. ACM Conference on Computer and Communications Security 2007: 456-465
13		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Compositional Security for Task-PIOAs. CSF 2007: 125-139
12		Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira: On the Role of Scheduling in Simulation-Based Security. IACR Cryptology ePrint Archive 2007: 102 (2007)
11		Ling Cheung, Joseph A. Cooley, Roger I. Khazan, Calvin C. Newport: Collusion-Resistant Group Key Management Using Attribute-Based Encryption. IACR Cryptology ePrint Archive 2007: 161 (2007)
10		Ling Cheung, Calvin C. Newport: Provably Secure Ciphertext Policy ABE. IACR Cryptology ePrint Archive 2007: 183 (2007)
9		Ling Cheung, Sayan Mitra, Olivier Pereira: Verifying Statistical Zero Knowledge with Approximate Implementations. IACR Cryptology ePrint Archive 2007: 195 (2007)
8		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. IACR Cryptology ePrint Archive 2007: 406 (2007)
7		Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager: A testing scenario for probabilistic processes. J. ACM 54(6): (2007)
	2006
6		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
5		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
4		Ling Cheung: Randomized Wait-Free Consensus Using an Atomicity Assumption. OPODIS 2005: 47-60
3		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptology ePrint Archive 2005: 452 (2005)
	2004
2		Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Switched Probabilistic I/O Automata. ICTAC 2004: 494-510
1		Ling Cheung, Jesse Hughes: Concise Graphs and Functional Bisimulations. Electr. Notes Theor. Comput. Sci. 100: 5-29 (2004)

Coauthor Index

1	Ran Canetti	[3] [6] [8] [12] [13] [15] [16] [17]
2	Joseph A. Cooley	[11]
3	Jesse Hughes	[1]
4	Dilsun Kirli Kaynar	[3] [6] [8] [13] [15] [16] [17]
5	Roger I. Khazan	[11]
6	Moses Liskov	[3] [6] [16]
7	Nancy A. Lynch	[2] [3] [5] [6] [8] [12] [13] [15] [16] [17]
8	Sayan Mitra	[9]
9	Calvin C. Newport	[10] [11] [14]
10	Olivier Pereira	[3] [6] [8] [9] [12] [13] [15] [16] [17]
11	Roberto Segala	[2] [3] [5] [6] [16]
12	Mariëlle Stoelinga	[7]
13	Frits W. Vaandrager	[2] [5] [7]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page