@misc{indiciae4ef30f553197,
  title = {Transport Programs: Specifying The Missing Layer Between Protocols and Stacks},
  author = {Pedro Mizuno and Kimiya Mohammadtaheri and Linfan Qian and Andrew Qiu and Ashely Shen and Joshua Johnson and Danny Akbarzadeh and Chris Neely and Mario Baldi and Ahmed Saeed and Nachiket Kapre and Mina Tahmasbi Arashloo},
  year = {2026},
  url = {https://arxiv.org/abs/2509.21550},
  note = {Source identifier: 2509.21550}
}