Transport Programs: Specifying The Missing Layer Between Protocols and Stacks

Pedro Mizuno, Kimiya Mohammadtaheri, Linfan Qian +9

Running code has long served two roles in transport protocol design: a medium for protocol development and a precise behavioral specification. Modern stacks increasingly struggle t…