C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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