MileSan : Un sanitiseur RTL découvre 19 nouvelles vulnérabilités CPU
Des chercheurs présentent MileSan, un sanitiseur RTL qui détecte les fuites d'informations exploitables arbitraires en comparant les flux d'informations architecturaux et microarchitecturaux. Couplé au fuzzer RandOS, MileSan a trouvé 19 nouvelles vulnérabilités (13 avec CVE attribués) sur 5 CPU RISC-V. En s'attaquant aux problèmes de surapprentissage des fuzzers existants, MileSan offre une nouvelle approche pour améliorer la sécurité des CPU, en identifiant les fuites d'informations microarchitecturales exploitables sans hypothèses sur le chemin de la fuite ou les programmes déclencheurs.
Lire plus