Sergey Bratus
Meer info
- Verbonden aan
- Dartmouth College
- Bekend van
- LangSec, het begrip 'weird machines'
Onderzoeker die betoogt dat de meeste kwetsbaarheden eigenlijk parseerfouten zijn, en die exploitatie een theoretisch vocabulaire gaf.
Met Meredith Patterson en Len Sassaman formuleerde hij rond 2011 LangSec (language-theoretic security): invoer is een taal, en een parser die niet expliciet alles buiten de grammatica afwijst, accepteert feitelijk een onbekende taal die de aanvaller mag definiëren. Het recept: maak formaten zo eenvoudig dat ze volledig te valideren zijn voordat enige logica ermee aan de slag gaat.
Ook maakte hij 'weird machines' bekend: een exploit is een programma voor de onbedoelde machine die de bugs van een systeem samen vormen. Het klinkt als filosofie, maar het verklaart beter dan de meeste leerboeken waarom ROP werkt.