4 ms·
The problem was a shotgun parser. LangSec 101. Use a formal parser.
by crb002 7y ago
The problem was a shotgun parser. LangSec 101. Use a formal parser.
- petra 7y agoOne of the creators of LangSec has joined Darpa: https://www.darpa.mil/staff/dr-sergey-bratus https://www.darpa.mil/staff/dr-sergey-bratus And now Darpa is working on two related projects: https://www.darpa.mil/attachments/SafeDocs%20ProposersDay-Final.pdf https://www.darpa.mil/attachments/SafeDocs%20ProposersDay-Fi... 1. SafeDocs - a document format made safe using LangSec. 2. Tools to help developer verify protocols using LangSec parsers, easily. Would be interesting to see. But still TCP/IP doesn't fit LangSec, if i remember correctly ?