@misc{indiciae924b29ffefa3,
  title = {Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)},
  author = {Nicolas Berthier and Narges Khakpour},
  year = {2022},
  url = {https://arxiv.org/abs/2211.03450},
  note = {Source identifier: 2211.03450}
}