3 ms·
Are you going to integrate any of the LANGSEC principles or stuff like formally-verified parsers at INRIA into Cap n Proto? Or have you already? I've been espec
by nickpsecurity 10y ago
Are you going to integrate any of the LANGSEC principles or stuff like formally-verified parsers at INRIA into Cap n Proto? Or have you already? I've been especially curious to see what a combination of your excellent scheme with verified parsing/protocol tech would be like.