International Association for Cryptologic Research
IACR paper details
| Title | Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol |
|---|---|
| Booktitle | IACR Eprint archive |
| Pages | |
| Year | 2005 |
| URL | http://eprint.iacr.org/2005/452 |
| Author | Ran Canetti |
| Author | Ling Cheung |
| Author | Dilsun Kaynar |
| Author | Moses Liskov |
| Author | Nancy Lynch |
| Author | Olivier Pereira |
| Author | Roberto Segala |
@misc{eprint-2005-12785,
title={Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol},
booktitle={IACR Eprint archive},
keywords={cyrptographic protocols, oblivious transfer, formal analysis},
url={http://eprint.iacr.org/2005/452},
note={ dilsun@cs.cmu.edu 13560 received 9 Dec 2005, last revised 16 Feb 2007},
author={Ran Canetti and Ling Cheung and Dilsun Kaynar and Moses Liskov and Nancy Lynch and Olivier Pereira and Roberto Segala},
year=2005
}