In a free society, there is persistent tension between utility and privacy. Citizens have the basic right to keep their personal information private. However, sometimes keeping our data private could significantly reduce our ability to use this data to benefit ourselves or society. This tension is multiplied many times over in our modern data driven society, where data is utilized using remote algorithms.
State of the art research suggests that new advanced cryptographic primitives can mitigate this tension. These include computing on encrypted data via fully homomorphic encryption, fine grained access control to encrypted data via attribute based encryption, and most recently general purpose program obfuscation, which on paper can solve many of cryptography's long standing problems. However, these primitives are largely either too complicated or not sufficiently founded to be considered for real world applications.
The goal of project REACT is to address and remove the barriers that stand between advanced cryptographic primitives and reality. Past research experience showed that orders-of-magnitude improvement in efficiency and security requires foundational theoretical study. Progress in this direction should both allow for future realistic implementation of these primitives, which can bring us closer to a society where utility does not come at the expense of privacy, as well as contribute to basic cryptographic study by developing techniques and opening new avenues for future research.
The project has the following objectives: (i) Studying the computational complexity of underlying hardness assumptions, in order to have a better understanding of the level of security we can expect of proposed primitives. (ii) Constructing new cryptographic tools based on LWE. (iii) Constructing cryptographic graded encoding schemes and obfuscators.
Project REACT, during its course, made significant progress on the aforementioned objectives. Indeed, the project team was able to show new connections between cryptographic primitives and the hardness of lattice problems, as well as related problems concerning hardness of decoding of binary linear codes. The team put forth new construction of lattice based primitives, and discovered new connections between cryptography and quantum computing and showed new applications. We also managed to put forth a new approach to program obfuscation that is inspired by fully homomorphic encryption and LWE.
At the end of the project, the cryptographic community has new and improved theoretical tools to address the aforementioned tension between utility and privacy, with better understanding of the security features of the tools at hand.