Using probabilistic I/O automata to analyze an oblivious transfer protocol (2006)

by R Canetti, L Cheung, D Kaynar, M Liskov, N Lynch, O Pereira, R Segala