One of the creators of LangSec has joined Darpa:

https://www.darpa.mil/staff/dr-sergey-bratus

And now Darpa is working on two related projects:

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 ?