Sergey Bratus
Mehr Infos
- Zugehörigkeit
- Dartmouth College
- Bekannt für
- LangSec, das Konzept der „Weird Machines“
Forscher, der die meisten Schwachstellen für Parsing-Fehler hält und der Exploitation ein theoretisches Vokabular gab.
Gemeinsam mit Meredith Patterson und Len Sassaman formulierte er um 2011 LangSec (language-theoretic security): Eingabe ist eine Sprache, und ein Parser, der alles außerhalb der Grammatik nicht ausdrücklich ablehnt, akzeptiert faktisch eine unbekannte Sprache, die der Angreifer definieren darf. Die Therapie: Formate so einfach halten, dass sie sich vollständig validieren lassen, bevor irgendeine Logik sie berührt.
Außerdem machte er „Weird Machines“ bekannt: Ein Exploit ist ein Programm für die ungeplante Maschine, zu der sich die Fehler eines Systems summieren. Das klingt nach Philosophie, erklärt aber besser als die meisten Lehrbücher, warum ROP funktioniert.