Скачать или смотреть Schéma d'encapsulation hybride avec vérification rapide:Formalisation et preuve de sécurité IND-CCA2

🛡️ Nouvelle recherche : Formalisation des défenses contre les attaques DoS cryptographiques

Vos serveurs consacrent-ils 99 % de leurs ressources au déchiffrement de paquets invalides ? 📉

Dans le vecteur d'attaque classique par déni de service (DoS), les attaquants inondent un serveur de données inutiles (garbage data). Le serveur est alors contraint d'effectuer des tentatives de décapsulation coûteuses en calcul pour chaque paquet, simplement pour déterminer qu'ils sont invalides.

Nous sommes ravis de partager notre dernière recherche introduisant QuickVerify, un cadre formel pour un filtrage cryptographique dont la sécurité est prouvée. Pour la première fois, nous fournissons une fondation théorique permettant de construire des filtres légers capables de rejeter les paquets invalides très tôt, tout en préservant la sécurité IND-CCA2.



🚀 Contributions théoriques clés :

Un modèle formel pour les oracles observables :
Nous avons étendu le modèle IND-CCA2 pour inclure un oracle de vérification ($O_{qv}$) qui produit un simple verdict `accept` (accepter) ou `reject` (rejeter). Cela modélise de manière réaliste le comportement des filtres légers dans le monde réel.

L'architecture Double KEM :
Nous avons identifié un Paradoxe KDF critique : dériver les clés de tag à partir de la clé de session principale va à l'encontre de l'objectif de filtrage. Notre solution utilise deux KEM indépendants (Données vs Tag) pour permettre une simulation efficace et une réduction de la sécurité.

Bornes de sécurité quantifiées :
Notre théorème principal intègre formellement les fuites par canaux auxiliaires ($\epsilon_t$) et les informations divulguées par les verdicts publics d'acceptation/rejet dans la preuve de sécurité.



📊 Impact pratique :

Les tests de performance (benchmarks) montrent que notre implémentation `LightTagKEM` atteint un taux de rejet environ 3,5 fois plus rapide pour les paquets invalides par rapport aux protocoles de référence, réduisant considérablement la charge CPU lors d'une attaque.

Ce travail fournit les outils nécessaires pour concevoir la prochaine génération de protocoles cryptographiques dotés une résilience intégrée contre les attaques DoS.

📄 Lire l'article complet ici :
https://doi.org/10.5281/zenodo.17334369