PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cheung, Ling"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Computational Security in Long-Lived Systems.

, , , , and . IACR Cryptology ePrint Archive, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cheung, Ling
add a person with the name Cheung, Ling
 

Other publications of authors with the same name

Switched PIOA: Parallel composition via distributed scheduling., , , and . Theor. Comput. Sci., 365 (1-2): 83-108 (2006)Randomized Wait-Free Consensus Using an Atomicity Assumption.. OPODIS, volume 3974 of Lecture Notes in Computer Science, page 47-60. Springer, (2005)A testing scenario for probabilistic processes., , and . J. ACM, 54 (6): 29 (2007)Compositional Security for Task-PIOAs., , , , and . CSF, page 125-139. IEEE Computer Society, (2007)Verifying Statistical Zero Knowledge with Approximate Implementations., , and . IACR Cryptology ePrint Archive, (2007)On the Role of Scheduling in Simulation-Based Security., , , and . IACR Cryptology ePrint Archive, (2007)Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol., , , , , , and . IACR Cryptology ePrint Archive, (2005)Modeling Computational Security in Long-Lived Systems., , , , and . Theoretical Foundations of Practical Information Security, volume 08491 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Analyzing Security Protocols Using Time-Bounded Task-PIOAs., , , , , , and . Discrete Event Dynamic Systems, 18 (1): 111-159 (2008)Modeling Computational Security in Long-Lived Systems., , , , and . IACR Cryptology ePrint Archive, (2007)