@misc{indiciae60028bf21a6c,
  title = {Type-based Declassification for Free},
  author = {Minh Ngo and David A. Naumann and Tamara Rezk},
  year = {2020},
  url = {https://arxiv.org/abs/1905.00922},
  note = {Source identifier: 1905.00922}
}