Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL
| Title: | Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL |
|---|---|
| Authors: | Butler, David; Aspinall, David; Gascón, Adrià |
| Source: | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. :229-243 |
| Availability: | http://dl.acm.org/doi/10.1145/3372885.3373815 |
| Database: | ACM Full-Text Collection |