@misc{indiciae6467d5935877,
  title = {Sound Enforcement of Dynamic Release Information Flow Policy-Full Version},
  author = {Jeffrey C. Ching and Danfeng Zhang},
  year = {2026},
  doi = {10.1145/3839492},
  url = {https://arxiv.org/abs/2608.09506},
  note = {Source identifier: 2608.09506}
}