Sergey Bratus
Daha fazla bilgi
- Kurum
- Dartmouth College
- Bilinen işi
- LangSec, "garip makineler" kavramı
Güvenlik açıklarının çoğunun aslında ayrıştırma hataları olduğunu savunan ve istismara kuramsal bir söz dağarcığı kazandıran araştırmacı.
Meredith Patterson ve Len Sassaman'la birlikte 2011 civarında LangSec'i (dil kuramsal güvenlik) formüle etti: girdi bir dildir ve dilbilgisinin dışındaki her şeyi açıkça reddetmeyen bir ayrıştırıcı, aslında saldırganın tanımlayabildiği bilinmeyen bir dili kabul ediyordur. Reçete, biçimleri herhangi bir mantık dokunmadan önce tamamen doğrulanabilecek kadar basit tutmaktır.
"Garip makineler" kavramını da yaygınlaştırdı: bir istismar, bir sistemin hatalarının toplamından oluşan istenmeyen makine için yazılmış bir programdır. Felsefe gibi duyulur, ama ROP'un çoğu ders kitabından daha iyi çalışmasını açıklar.