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

Fulltext present in this item

Fulltext: 33087.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
Author(s):	Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.
Publication year:	2005
Publisher:	Nijmegen : CSAIL, MIT
Number of Pages:	123 p.
Series:	Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory ; MIT-LCS-TR
Publication type:	External research report
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/33087
Display more details
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications

Faculty of Science [27686]
Electronic publications [83238]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [179522]
Academic output Radboud University