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 abili...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
HSS
Homomorphic Secret Sharing Secure Computation and Beyond
1M€
Cerrado
BELFORT MATCH
Proof of Concept Prototype for Matching Applications on BELF...
150K€
Cerrado
aSCEND
Secure Computation on Encrypted Data
1M€
Cerrado
PRIVTOOLS
Tools for Protecting Data and Function Privacy
2M€
Cerrado
RYC2018-024293-I
Cryptography for Ensuring Privacy and Integrity of Remote Co...
309K€
Cerrado
PCI2020-120708-2
FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPH...
150K€
Cerrado
Información proyecto REACT
Duración del proyecto: 76 meses
Fecha Inicio: 2017-09-05
Fecha Fin: 2024-01-31
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
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.
Project REACT will apply foundational theoretical study towards removing the barriers between advanced cryptographic primitives and reality. My viewpoint, supported by my prior research success, is that orders-of-magnitude improvement in efficiency and security requires foundational theoretical study, rather than focusing on optimizations or heuristics. My projection is that progress in this direction will both allow for future realistic implementation of these primitives, reducing said tension, as well as contribute to basic cryptographic study by opening new avenues for future research.
To achieve this goal, I will pursue the following objectives: (i) Studying the computational complexity of underlying hardness assumptions, specifically lattice based, to better understand the level of security we can expect of proposed primitives. (ii) Simplifying and extending the LWE/trapdoor paradigm that underlies many of the new primitives, and that I find incomplete. (iii) Constructing cryptographic graded encoding schemes and obfuscators.