@misc{indiciae4a08f42ef016,
  title = {GlucOS: Security, correctness, and simplicity for automated insulin delivery},
  author = {Hari Venugopalan and Shreyas Madhav Ambattur Vijayanand and Caleb Stanford and Stephanie Crossen and Samuel T. King},
  year = {2025},
  url = {https://arxiv.org/abs/2406.18262},
  note = {Source identifier: 2406.18262}
}