2 papers
cs.CR2024
GlucOS: Security, correctness, and simplicity for automated insulin delivery
Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford +2
We present GlucOS, a novel system for trustworthy automated insulin delivery. Fundamentally, this paper is about a system we designed, implemented, and deployed on real humans and…
cs.CR2023
Security, extensibility, and redundancy in the Metabolic Operating System
Samuel T. King
People living with Type 1 Diabetes (T1D) lose the ability to produce insulin naturally. To compensate, they inject synthetic insulin. One common way to inject insulin is through au…