Formalising Oblivious Transfer in CryptHOL

POPL 2020