Microsoft is working on a project to formalize various parts of the web stack and it would be interesting if their work also carried over to the lower parts of the networking stack like in this article. [1] I suspect this bug would have been caught if the segment handling logic was implemented in a language with a formal specification for the segment headers.

Is cloudflare working on any formalization efforts like Microsoft's Project Everest?

1: https://www.microsoft.com/en-us/research/project/project-eve...