Cryptographie symétrique auditable, sûre & efficace – asesyc

Quasiment chaque bit échangé sur Internet passe désormais à travers un algorithme de chiffrement par bloc. Les primitives cryptographiques sous-jacentes sont exécutées de façon répétées sur d'immenses quantités de données. Il est essentiel de pouvoir soutenir un haut débit de chiffrement. En cryptographie, la correction fonctionnelle est vitale et un problème dur en soi. Cependant, le modèle de menace peut aussi inclure des attaques en faute (où le périphérique est physiquement altéré) et/ou des attaques par canaux cachés (où un secret est déduit par observation physique du périphérique). Tandis que les impératifs de correction orientent vers l'utilisation de langages de programmation de haut niveau, performance et canaux cachés favorisent l'assembleur pour maîtriser les effets micro-architecturaux. Ce projet vise à résorber cette tension dans le cadre du chiffrement par bloc en offrant un langage de haut niveau produisant du code efficace et sûre de manière transparente.