Formalising Oblivious Transfer in the Semi Honest and Malicious Model in CryptHOL
Published in CPP 2020', 2020
Recommended citation: David Butler, David Aspinall, Adria Gascon. Formalising Oblivious Transfer in the Semi Honest and Malicious Model in CryptHOL. To appear in CPP 2020. http://homepages.cs.ncl.ac.uk/charles.morisset/fcs2019/FCS_papers/FCS19_session_2_paper_2.pdf
We extend our work to consider the maliicous security model proving an OT protocol secure. We also prove the GMW protocol secure in the semi honest model.
Recommended citation: David Butler, David Aspinall, Adria Gascon, . Formalising Oblivious Transfer in the Semi Honest and Malicious Model in CryptHOL. CPP 2020.