Browsing Technical Reports and Memos by Author "Cheung, Ling"

Now showing items 1-1 of 1

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; e.a. (2007-02-16)

The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction, based on implementation ...