Task-Structured Probabilistic I/O Automata
"May 28, 2009."
Main Authors: | Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto |
---|---|
Other Authors: | Nancy Lynch |
Published: |
2013
|
Online Access: | http://hdl.handle.net/1721.1/78359 |
Similar Items
-
Task-structured probabilistic I/O automata
by: Canetti, Ran, et al.
Published: (2021) -
Task-Structured Probabilistic I/O Automata
by: Canetti, Ran, et al.
Published: (2006) -
Task-Structured Probabilistic I/O Automata
by: Canetti,, Ran, et al.
Published: (2006) -
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2007) -
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)