9 articles 
.:. Browse > List by authors > Cheung .:.
1 document
fulltext access Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols
Canetti R., Cheung L., Kaynar D., Liskov M., Lynch N., Pereira O., Segala R.
Dans Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080681 - version 1]