@misc{indiciae62ea37cc23fd,
  title = {Normalising Lustre Preserves Security},
  author = {Sanjiva Prasad and R. Madhukar Yerraguntla},
  year = {2021},
  url = {https://arxiv.org/abs/2105.10687},
  note = {Source identifier: 2105.10687}
}