I found these links in the F* book https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-pars

I found these links in the F* book https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-parsers/ https://www.microsoft.com/en-us/research/blog/everparse-hard... https://lwn.net/Articles/770750/ https://lwn.net/Articles/770750/ https://project-everest.github.io/ https://project-everest.github.io/