|
Search the dblp DataBase
Ling Cheung:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:494-510 [Conf]
- Ling Cheung
Randomized Wait-Free Consensus Using an Atomicity Assumption. [Citation Graph (0, 0)][DBLP] OPODIS, 2005, pp:47-60 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DISC, 2006, pp:238-253 [Conf]
- Ling Cheung, Jesse Hughes
Concise Graphs and Functional Bisimulations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:5-29 [Journal]
- Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched PIOA: Parallel composition via distributed scheduling. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:365, n:1-2, pp:83-108 [Journal]
Provably secure ciphertext policy ABE. [Citation Graph (, )][DBLP]
Modeling Computational Security in Long-Lived Systems. [Citation Graph (, )][DBLP]
Compositional Security for Task-PIOAs. [Citation Graph (, )][DBLP]
Search in 0.017secs, Finished in 0.017secs
|