Login / Signup
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.
Ran Canetti
Ling Cheung
Dilsun Kirli Kaynar
Moses D. Liskov
Nancy A. Lynch
Olivier Pereira
Roberto Segala
Published in:
IACR Cryptol. ePrint Arch. (2005)
Keyphrases
</>
formal analysis
input output
cellular automata
probabilistic model
lightweight
finite state
generative model
network protocols
bayesian networks
probability theory
cross domain
uncertain data
information theoretic
transfer learning
file system
finite state machines
belief networks