Ling Cheung

Disclaimer: This page refers to an external person. It only lists all the interactions between this person and the Crypto Group. Validity or accuracy of the following information is thus not guaranteed in any way.

BibTeX - Cheung

Publications

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-structured probabilistic I/O automata, In Journal of Computer and System Sciences, Volume 94, pages 63-97, June 2018 PDF BibTeX

Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira. Modeling Computational Security in Long-Lived Systems, In van Breugel, Franck; Chechik, Marsha, editor(s), CONCUR 2008 - Concurrency Theory, Volume 5201 of LNCS, Springer, August 2008 PDF BibTeX

Olivier Pereira, Nancy Lynch, Moses Liskov, Dilsun Kaynar, Ling Cheung, Roberto Segala, and Ran Canetti. Analyzing Security Protocols Using Time-Bounded Task-PIOAs, In Discrete Event Dynamic Systems, Volume 18-1, pages 111-159, March 2008 PDF BibTeX

Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira. Compositional Security for Task-PIOAs, In A. Sabelfeld, editor(s), Proceedings of the 20th IEEE Computer Security Foundations Symposium, pages 125-139, IEEE Computer Society Press, July 2007 BibTeX

Ran Canetti, Ling Cheung, Nancy Lynch, and Olivier Pereira. On the Role of Scheduling in Simulation-Based Security, In R. Focardi, editor(s), Proceedings of the 7th International Workshop on Issues in the Theory of Security (WITS 2007), pages 22--37, March 2007 BibTeX

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Time-bounded Task-PIOAs: A Framework for Analyzing Security Protocols, In S. Dolev, editor(s), 20th International Symposium on Distributed Computing (DISC 2006), Volume 4167 of LNCS, pages 238--253, Springer, September 2006, Invited paper BibTeX

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Formal and computational analysis of cryptographic protocols based on task-PIOAs, In Tsutomu Sekiguchi, editor(s), 2006 Workshop on Cryptography and Related Mathematics, pages 151--158, August 2006 BibTeX

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Task-Structured Probabilistic I/O Automata, Proceedings the 8th International Workshop on Discrete Event Systems (WODES'06), pages 207-214, IEEE, July 2006 BibTeX

Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols, In V. Cortier, S. Kremer, editor(s), Workshop on Formal and Computational Cryptography - FCC 2006, pages 34--39, July 2006 BibTeX

Ran Canetti, Dilsun Kaynar, Ling Cheung, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols., In ERCIM News-63, pages 40--41, October 2005 BibTeX

Copyright Notice

(click here to expand/retract)