@misc{indiciaee911b7b808f2,
  title = {Mechanized Noninterference for Gradual Security},
  author = {Tianyu Chen and Jeremy G. Siek},
  year = {2022},
  url = {https://arxiv.org/abs/2211.15745},
  note = {Source identifier: 2211.15745}
}