Description du projet
La cryptographie sans clé pour une sécurité renforcée
À une époque où la sécurité numérique est primordiale, les technologies émergentes, notamment l’informatique quantique, posent de sérieux défis aux méthodes cryptographiques traditionnelles. Les primitives cryptographiques sans clé ont gagné en popularité grâce à leur flexibilité et à leur efficacité,et se révèlent essentielles à la cryptographie légère et aux protocoles avancés de protection de la vie privée. Leurs évaluations de la sécurité reposent toutefois trop souvent sur des méthodologies dépassées qui ne tiennent pas compte de considérables différences de conception. Dans ce contexte, le projet KEYLESS financé par le CER se propose de développer de nouvelles méthodologies qui permettront d’évaluer avec précision les primitives sans clé. En établissant des modèles fins et en intégrant de nouvelles techniques de cryptanalyse, KEYLESS entend améliorer à la fois la sécurité et les performances. De plus, le projet va soutenir quatre doctorants, en concentrant ses efforts sur la création de modèles robustes et efficaces qui résistent aux utilisations abusives et aux attaques via des canaux latéraux.
Objectif
Cryptographic primitives are the foundation of security in any secure information system.
Permutations and similar keyless cryptographic primitives have risen to great popularity in recent years thanks to their flexibility and performance.
They power new lightweight cryptography standards or serve as core building blocks of post-quantum cryptography and advanced privacy-preserving protocols.
However, the security analysis of these designs still follows the traditional cryptanalytic methodology based on decades of research in block ciphers, largely ignoring the substantial differences between the two design paradigms.
In KEYLESS, we propose new methodologies to achieve an accurate, transparent security evaluation of keyless primitives. This has the potential to enable drastic performance improvements as well as prevent security vulnerabilities arising from hidden dependencies.
We will establish new, fine-grained models of keyless primitives to obtain tighter proofs and lightweight designs. This allows to simultaneously improve both security and efficiency.
We will tackle the challenges of keyless settings with novel cryptanalytic techniques and develop formal methods to prove optimality of attacks.
In particular, we will systematically take dependencies between rounds or primitive calls into account and thus achieve complete models of complex attacks.
Finally, we will explore the full potential of keyless primitives to not only provide efficient security, but also practical robustness and resilience under suboptimal conditions, including misuse and side-channel attacks.
Unlike previous work, we will study robustness properties in conjunction to exploit synergies, and obtain new designs that achieve full robustness while maintaining efficiency.
KEYLESS will fund 4 PhD students in the research group of Maria Eichlseder, co-designer of the new NIST standard for lightweight cryptography.
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. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Mots‑clés
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMME PRINCIPAL
Voir tous les projets financés dans le cadre de ce programme
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
HORIZON-ERC - HORIZON ERC Grants
Voir tous les projets financés dans le cadre de ce programme de financement
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
(s’ouvre dans une nouvelle fenêtre) ERC-2024-STG
Voir tous les projets financés au titre de cet appelInstitution d’accueil
La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.
8010 Graz
Autriche
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.