@misc{indiciae2d9e46628d84,
  title = {Compositional security definitions for higher-order where declassification},
  author = {Jan Menz and Andrew K. Hirsch and Peixuan Li and Deepak Garg},
  year = {2026},
  url = {https://arxiv.org/abs/2604.18300},
  note = {Source identifier: 2604.18300}
}