Skip to main content

Cloud Computing via Homomorphic Encryption and Multilinear Maps

Periodic Reporting for period 1 - CLOUDMAP (Cloud Computing via Homomorphic Encryption and Multilinear Maps)

Reporting period: 2018-10-01 to 2020-03-31

The past thirty years have seen cryptography move from arcane to commonplace: Internet, mobile phones, banking system, etc. Homomorphic cryptography now offers the tantalizing goal of being able to process sensitive information in encrypted form, without needing to compromise on the privacy and security of the citizens and organizations that provide the input data. More recently, cryptographic multilinear maps have revolutionized cryptography with the emergence of indistinguishability obfuscation (iO), which in theory can been used to realize numerous advanced cryptographic functionalities that previously seemed beyond reach. However the security of multilinear maps is still poorly understood, and many iO schemes have been broken; moreover all constructions of iO are currently unpractical.

The goal of the CLOUDMAP project is to make the new advanced cryptographic tasks usable in practice, so that citizens do not have to compromise on the privacy and security of their input data. This goal can only be achieved by considering the mathematical foundations of these primitives, working “from first principles”, rather than focusing on premature optimizations. To achieve this goal, our first objective will be to better understand the security of the underlying primitives of multilinear maps and iO schemes. Our second objective will be to develop new approaches to significantly improve their efficiency. Our third objective will be to build applications of multilinear maps and iO that can be implemented in practice.
In the field of the ERC, we have published two papers at the Asiacrypt conference, one of the 3 main conferences in cryptography (with Eurocrypt and Crypto):

1) Jean-Sébastien Coron, Hilder V. L. Pereira. On Kilian's Randomization of Multilinear Map Encodings. ASIACRYPT (2) 2019: 325-355
In this work, we have described a new multipartite key-exchange, based on multilinear maps.

2) Jean-Sébastien Coron, Luca Notarnicola. Cryptanalysis of CLT13 Multilinear Maps with Independent Slots. ASIACRYPT (2) 2019: 356-385
In this work, we have described an attack against CLT13 multilinear maps with independent slots.
We have described a new technique to build a multivariate key-exchange protocol based on multilinear maps.
We have also introduced new cryptanalytic techniques for better understanding the security of multilinear maps.
The expected results are improvements in the performances and security of fully homomorphic encryption and multilinear map algorithms.