@misc{indiciae85789b1d5991,
  title = {Securing P4 Programs by Information Flow Control},
  author = {Anoud Alshnakat and Amir M. Ahmadian and Musard Balliu and Roberto Guanciale and Mads Dam},
  year = {2025},
  url = {https://arxiv.org/abs/2505.09221},
  note = {Source identifier: 2505.09221}
}