@misc{cryptoeprint:2005:452,
    author = {Ran Canetti and Ling Cheung and Dilsun Kaynar and Moses Liskov and Nancy Lynch and Olivier Pereira and Roberto Segala},
    title = {Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol},
    howpublished = {Cryptology ePrint Archive, Report 2005/452},
    year = {2005},
    url = {http://eprint.iacr.org/2005/452},
}