Sergey Bratus
Plus d'infos
- Affiliation
- Dartmouth College
- Connu pour
- LangSec, la notion de « weird machines »
Chercheur qui soutient que la plupart des vulnérabilités sont en réalité des bugs d'analyse syntaxique, et qui a doté l'exploitation d'un vocabulaire théorique.
Avec Meredith Patterson et Len Sassaman, il a formulé vers 2011 LangSec (language-theoretic security) : une entrée est un langage, et un analyseur qui ne rejette pas explicitement tout ce qui sort de la grammaire accepte en fait un langage inconnu que l'attaquant définit à sa guise. La prescription : des formats assez simples pour être validés intégralement avant que la moindre logique ne les touche.
Il a aussi popularisé les « weird machines » : un exploit est un programme écrit pour la machine involontaire que forment les bugs d'un système. Cela sonne comme de la philosophie, mais cela explique pourquoi le ROP fonctionne mieux que la plupart des manuels.