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

Author(s):  
David Butler ◽  
David Aspinall ◽  
Adrià Gascón
2015 ◽  
Vol 9 (2) ◽  
pp. 1-12 ◽  
Author(s):  
Chuan Zhao ◽  
Han Jiang ◽  
Qiuliang Xu ◽  
Xiaochao Wei ◽  
Hao Wang

Oblivious transfer is a fundamental tool in modern cryptography. In the past few years, many studies concentrate on oblivious transfer variants with more powerful functions. In this paper, the authors propose several variants of oblivious transfer in cut-and-choose scenario, providing multiple ways of transferring data in an oblivious manner. In addition, based on homomorphic encryption, the authors construct instantiations of these primitives, which can be proven secure in malicious model under ideal/real simulation paradigm and achieve the highest security level in the real world.


2011 ◽  
Vol 57 (8) ◽  
pp. 5566-5571 ◽  
Author(s):  
Adriana C. B. Pinto ◽  
Rafael Dowsley ◽  
Kirill Morozov ◽  
Anderson C. A. Nascimento

Author(s):  
Benoît Libert ◽  
San Ling ◽  
Fabrice Mouhartem ◽  
Khoa Nguyen ◽  
Huaxiong Wang

2016 ◽  
Vol 64 (3) ◽  
pp. 893-905 ◽  
Author(s):  
Jithin Ravi ◽  
Bikash Kumar Dey ◽  
Emanuele Viterbo

Sign in / Sign up

Export Citation Format

Share Document