@misc{indiciae95e9632d7b96,
  title = {Transparent IFC Enforcement: Possibility and (In)Efficiency Results},
  author = {Maximilian Algehed and Cormac Flanagan},
  year = {2020},
  url = {https://arxiv.org/abs/2005.12345},
  note = {Source identifier: 2005.12345}
}