Description du projet
Forger une nouvelle ère dans la compréhension de la cryptographie
Dans le domaine mystérieux de la protection des données, la complexité inhérente au calcul sécurisé par la théorie de l’information constitue un formidable défi, dont les subtilités sont nimbées d’incertitude depuis plus de trente ans. En tant que pierre angulaire de la cryptographie, son importance est indéniable, mais des questions fondamentales restent sans réponse. Dans ce contexte, le projet NFITSC, financé par le CER, est une entreprise pionnière qui cherche à déchiffrer l’énigme, à amener les schémas de partage du secret vers de nouveaux sommets, à explorer les réductions non interactives de pointe et à redéfinir le paysage des protocoles de la théorie de l’information à cycle constant. Plus précisément, NFITSC annonce une percée en jetant un pont entre les domaines de la théorie du codage, de la cryptographie et de la complexité informatique afin de remodeler les fondements de l’informatique théorique. Dans l’ensemble, cette entreprise interdisciplinaire promet des percées qui remodèleront les fondements de l’informatique théorique.
Objectif
Information-theoretic secure computation is a general-purpose technique for processing sensitive data without compromising its confidentiality or integrity even in the presence of a computationally-unbounded all-powerful adversary. This notion plays an important role in cryptography, both as a stand-alone object and as a tool for computational constructs. Despite its increasing importance, we have a very limited understanding of the *intrinsic complexity* of information-theoretic security, and some of the most central feasibility questions in this area have remained open for more than three decades.
In this proposal, we aim to decipher the power and limitations of this notion. We will focus on three main objectives. First, we aim to improve the complexity of general *secret sharing schemes* and exploit such improvements towards realizing highly-efficient general-purpose zero-knowledge proofs. The second objective is to explore the complexity of Secure Non-Interactive Reductions and Multiparty Randomized Encoding -- a powerful generalization of information-theoretic garbled circuits that was recently presented by the PI. The third objective is to expand our theoretical understanding of constant-round information-theoretic protocols, optimize their round complexity, and study their concrete and asymptotic computational complexity.
Being part of several recent exciting developments in these areas, we believe that it is now possible to make progress in some of these basic open problems. The suggested research will bridge across different regions of computer science such as coding theory, cryptography, and computational complexity. It is expected to impact central problems in cryptography, while enriching the general landscape of theoretical computer science.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
Thème(s)
Régime de financement
HORIZON-ERC - HORIZON ERC GrantsInstitution d’accueil
69978 Tel Aviv
Israël