Je ne suis pas sûr de comprendre ta remarque... je me contentais de faire une remarque théorique, et aucunement de proposer à tout le monde d'utiliser une implémentation prouvée et générée à partir de Coq d'AES.
Oui, on peut effectivement implémenter AES avec C, Java ou Ocaml, et oui, ce sera effectivement moins rapide qu'en ASM.
Une comparaison plus adéquate aurait été entre descendre de la tour Effel en sautant en parachute (risqué) ou par les escaliers (moins risqué mais plus lent) - et il y a un compromis... les ascenseurs- .
Ainsi, si utiliser un langage de plus haut niveau avec des garantis statiques fortes apportait plus de confiance dans l'implémentation, personnellement, je préfèrerais utiliser utiliser cette implémentation qu'une implémentation très rapide ; peu m'importe que me loguer sur le site de ma banque prenne du temps, mais qu'on puisse faire des virements bancaires à partir de mon compte à mon insu, par contre, ça me gênerait...
Cependant, Burps indique de façon convaincante que ce n'est pas que pour des raisons de performance qu'on utilise l'assembleur, mais aussi pour éviter des attaques, donc ça parait bien plus justifié d'utiliser l'assembleur.
[^] # Re: Remplacer l'assembleur par Ada ou Rust ?
Posté par programLyrique . En réponse à la dépêche Nouvelle vulnérabilité dans l’implémentation OpenSSL. Évalué à 3.
Je ne suis pas sûr de comprendre ta remarque... je me contentais de faire une remarque théorique, et aucunement de proposer à tout le monde d'utiliser une implémentation prouvée et générée à partir de Coq d'AES.
Oui, on peut effectivement implémenter AES avec C, Java ou Ocaml, et oui, ce sera effectivement moins rapide qu'en ASM.
Une comparaison plus adéquate aurait été entre descendre de la tour Effel en sautant en parachute (risqué) ou par les escaliers (moins risqué mais plus lent) - et il y a un compromis... les ascenseurs- .
Ainsi, si utiliser un langage de plus haut niveau avec des garantis statiques fortes apportait plus de confiance dans l'implémentation, personnellement, je préfèrerais utiliser utiliser cette implémentation qu'une implémentation très rapide ; peu m'importe que me loguer sur le site de ma banque prenne du temps, mais qu'on puisse faire des virements bancaires à partir de mon compte à mon insu, par contre, ça me gênerait...
Cependant, Burps indique de façon convaincante que ce n'est pas que pour des raisons de performance qu'on utilise l'assembleur, mais aussi pour éviter des attaques, donc ça parait bien plus justifié d'utiliser l'assembleur.