@misc{indiciae5cdd74def8f7,
  title = {Knox: Fortifying Smart Spaces With Safety Guarantees},
  author = {Rishabh Menezes and Jadon T. Schuler and Kaimeng Zhu and Oliver Rogalski and Indranil Gupta},
  year = {2026},
  url = {https://arxiv.org/abs/2607.29198},
  note = {Source identifier: 2607.29198}
}