@misc{indiciae45e3c91892cb,
  title = {Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers},
  author = {Tobias Runge and Alexander Kittelmann and Marco Servetto and Alex Potanin and Ina Schaefer},
  year = {2022},
  url = {https://arxiv.org/abs/2208.02672},
  note = {Source identifier: 2208.02672}
}