Ling Cheung

According to our database1, Ling Cheung
  • authored at least 19 papers between 2004 and 2018.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Task-structured probabilistic I/O automata.
J. Comput. Syst. Sci., 2018

2008
Modeling Computational Security in Long-Lived Systems, Version 2.
IACR Cryptology ePrint Archive, 2008

Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
Discrete Event Dynamic Systems, 2008

Modeling Computational Security in Long-Lived Systems.
Proceedings of the Theoretical Foundations of Practical Information Security, 30.11., 2008

Modeling Computational Security in Long-Lived Systems.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
A testing scenario for probabilistic processes.
J. ACM, 2007

Provably Secure Ciphertext Policy ABE.
IACR Cryptology ePrint Archive, 2007

Verifying Statistical Zero Knowledge with Approximate Implementations.
IACR Cryptology ePrint Archive, 2007

Collusion-Resistant Group Key Management Using Attribute-Based Encryption.
IACR Cryptology ePrint Archive, 2007

On the Role of Scheduling in Simulation-Based Security.
IACR Cryptology ePrint Archive, 2007

Modeling Computational Security in Long-Lived Systems.
IACR Cryptology ePrint Archive, 2007

Compositional Security for Task-PIOAs.
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Provably secure ciphertext policy ABE.
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006
Switched PIOA: Parallel composition via distributed scheduling.
Theor. Comput. Sci., 2006

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

2005
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.
IACR Cryptology ePrint Archive, 2005

Randomized Wait-Free Consensus Using an Atomicity Assumption.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

2004
Concise Graphs and Functional Bisimulations.
Electr. Notes Theor. Comput. Sci., 2004

Switched Probabilistic I/O Automata.
Proceedings of the Theoretical Aspects of Computing, 2004


  Loading...