Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
Loading...
Files
Date
Authors
Canetti, R.
Cheung, L. Ling
Kaynar, D.K.
Liskov, M.
Lynch, N.
Pereira, O.
Segala, R.
Journal Title
Journal ISSN
Volume Title
Publisher
Nijmegen : CSAIL, MIT