Efficient and Provable White-Box Primitives [chapter]

Pierre-Alain Fouque, Pierre Karpman, Paul Kirchner, Brice Minaud
2016 Lecture Notes in Computer Science  
In recent years there have been several attempts to build white-box block ciphers whose implementation aims to be incompressible. This includes the weak white-box ASASA construction by Bouillaguet, Biryukov and Khovratovich from Asiacrypt 2014, and the recent space-hard construction by Bogdanov and Isobe at CCS 2016. In this article we propose the first constructions aiming at the same goal while offering provable security guarantees. Moreover we propose concrete instantiations of our
more » ... ons, which prove to be quite efficient and competitive with prior work. Thus provable security comes with a surprisingly low overhead.
doi:10.1007/978-3-662-53887-6_6 fatcat:3k6pw6wt5zcgzkb67b5zwh4zrm