GlucOS：面向自动胰岛素输送的安全性、正确性与简洁性
密码学与安全
2025-10-28 v4
摘要
我们提出了GlucOS，一个用于可信赖的自动胰岛素输送的新型系统。从根本上说，本文关于一个我们设计、实现并在真实人类身上部署的系统，以及从我们的经验中汲取的教训。GlucOS引入了一种新颖的架构，允许用户使用任何预测模型（包括机器学习模型）进行胰岛素剂量计算，从而实现个性化的糖尿病管理，同时保护他们免受恶意模型的侵害。我们还引入了一种新颖的整体安全机制，能够适应人类生理学中前所未有的变化。我们使用形式化方法来证明关键组件的正确性，并将人类纳入我们的防御策略。我们的评估包括在七名个体上的真实世界部署以及模拟结果，以证明我们的技术具有普适性。我们强调，我们的结果并非来自实验室研究，而是人们在其日常生活中使用GlucOS管理1型糖尿病。我们的结果表明，即使在攻击条件下，GlucOS也能维持安全性并改善血糖控制。这项工作展示了构建安全、个性化、自动化医疗系统的潜力。我们的全部源代码可在此链接获取。
引用
@article{arxiv.2406.18262,
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},
journal= {arXiv preprint arXiv:2406.18262},
year = {2025}
}