Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL.

David Butler, David Aspinall, Adri Gascn

Browse the full CPP paper archive.