Login / Signup
Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL.
David Butler
David Aspinall
Adrià Gascón
Published in:
CPP (2020)
Keyphrases
</>
probabilistic model
similarity measure
real world
information systems