On the practical use of physical unclonable functions in oblivious transfer and bit commitment protocols

被引:19
作者
Ruhrmair, Ulrich [1 ]
van Dijk, Marten [2 ]
机构
[1] Tech Univ Munich, Dept Comp Sci, D-80333 Munich, Germany
[2] MIT, Comp Sci & Artificial Intelligence Lab, Cambridge, MA 02139 USA
关键词
Physical unclonable functions (PUFs); Cryptographic protocols; Oblivious transfer; Bit commitment; Security analysis; Interactive hashing;
D O I
10.1007/s13389-013-0052-8
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In recent years, PUF-based schemes have been suggested not only for the basic tasks of tamper-sensitive key storage or the identification of hardware systems, but also for more complex protocols like oblivious transfer (OT) or bit commitment (BC), both of which possess broad and diverse applications. In this paper, we continue this line of research. We first present an attack on two recent OT and BC protocols which have been introduced by Brzuska et al. (CRYPTO, LNCS 6841, pp 51-70, Springer 2011). The attack quadratically reduces the number of CRPs which malicious players must read out to cheat, and fully operates within the original communication model of Brzuska et al. (CRYPTO, LNCS 6841, pp 51-70, Springer 2011). In practice, this leads to insecure protocols when electrical PUFs with a medium challenge-length are used (e.g., 64 bits), or whenever optical PUFs are employed. These two PUF types are currently among the most popular designs of so-called Strong PUFs. Secondly, we show that the same attack applies to a recent OT protocol of Ostrovsky et al. (IACR Cryptol. ePrint Arch. 2012:143, 2012), leading to exactly the same consequences. Finally, we discuss countermeasures. We present a new OT protocol with better security properties, which utilizes interactive hashing as a substep and is based on an earlier protocol by Ruhrmair (TRUST, LNCS 6101, pp 430-440, Springer 2010). We then closely analyze its properties, including its security, security amplification, and practicality.
引用
收藏
页码:17 / 28
页数:12
相关论文
共 37 条
[1]  
[Anonymous], 2012, IACR CRYPTOLOGY EPRI
[2]   A Formal Foundation for the Security Features of Physical Functions [J].
Armknecht, Frederik ;
Maes, Roel ;
Sadeghi, Ahmad-Reza ;
Standaert, Francois-Xavier ;
Wachsmann, Christian .
2011 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2011), 2011, :397-412
[3]  
Brzuska C., 2011, IACR CRYPTOLOGY EPRI, V2011, P681
[4]  
Brzuska C., 2011, CRYPTO 2011
[5]  
Canetti R., 2000, IACR CRYPTOLOGY EPRI, V2000, P67
[6]  
Crepeau C, 2008, LECT NOTES COMPUT SC, V5155, P14
[7]  
Damgard I, 1999, LECT NOTES COMPUT SC, V1592, P56
[8]   Constant-round oblivious transfer in the bounded storage model [J].
Ding, Yan Zong ;
Harnik, Danny ;
Rosen, Alon ;
Shaltiel, Ronen .
JOURNAL OF CRYPTOLOGY, 2007, 20 (02) :165-202
[9]   Identification and authentication of integrated circuits [J].
Gassend, B ;
Lim, D ;
Clarke, D ;
van Dijk, M ;
Devadas, S .
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (11) :1077-1098
[10]   Controlled Physical Random Functions [J].
Gassend, B ;
Clarke, D ;
van Dijk, M ;
Devadas, S .
18TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, :149-160