{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T13:13:24Z","timestamp":1780060404654,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":90,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T00:00:00Z","timestamp":1781913600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,21]]},"DOI":"10.1145\/3745756.3809198","type":"proceedings-article","created":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T12:52:21Z","timestamp":1780059141000},"page":"185-201","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["GlucOS: Security, correctness, and simplicity for automated insulin delivery"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7607-7256","authenticated-orcid":false,"given":"Hari","family":"Venugopalan","sequence":"first","affiliation":[{"name":"UC Davis, Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3908-9935","authenticated-orcid":false,"given":"Shreyas Madhav Ambattur","family":"Vijayanand","sequence":"additional","affiliation":[{"name":"UC Davis, Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8428-7736","authenticated-orcid":false,"given":"Caleb","family":"Stanford","sequence":"additional","affiliation":[{"name":"UC Davis, Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9829-6898","authenticated-orcid":false,"given":"Stephanie","family":"Crossen","sequence":"additional","affiliation":[{"name":"UC Davis, Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7890-6051","authenticated-orcid":false,"given":"Samuel T.","family":"King","sequence":"additional","affiliation":[{"name":"UC Davis, Davis, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Chatbots May 'Hallucinate' More Often Than Many Realize. https:\/\/www.nytimes.com\/2023\/11\/06\/technology\/chatbots-hallucination-rates.html."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. Dexcom G7 Alarms and Alerts. https:\/\/www.dexcom.com\/faqs\/how-doi-customize-dexcom-g7-alert-settings."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. Insulet Omnipod 5. https:\/\/www.omnipod.com\/."},{"key":"e_1_3_2_1_4_1","unstructured":"[n. d.]. Tandem Control IQ. https:\/\/www.tandemdiabetes.com\/products\/automated-insulin-delivery\/control-iq."},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Time-In-Range and Diabetes. https:\/\/www.endocrine.org\/patient-engagement\/endocrine-library\/time-in-range-and-diabetes."},{"key":"e_1_3_2_1_6_1","unstructured":"2024. simglucose. https:\/\/github.com\/jxx123\/simglucose."},{"key":"e_1_3_2_1_7_1","volume-title":"Mach: A new kernel foundation for UNIX development.","author":"Accetta Mike","year":"1986","unstructured":"Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, and Michael Young. 1986. Mach: A new kernel foundation for UNIX development. (1986)."},{"key":"e_1_3_2_1_8_1","volume-title":"Security And Privacy In Computing And Communications\/12th IEEE International Conference On Big Data Science And Engineering (TrustCom\/BigDataSE)","author":"Ahmad Usman","unstructured":"Usman Ahmad, Hong Song, Awais Bilal, Shahzad Saleem, and Asad Ullah. 2018. Securing insulin pump system using deep learning and gesture recognition. In 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications\/12th IEEE International Conference On Big Data Science And Engineering (TrustCom\/BigDataSE). IEEE, 1716\u20131719."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"James P Anderson et al. 1972. Computer security technology planning study. Technical Report. ESD-TR-73-51.","DOI":"10.21236\/AD0772806"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"532","DOI":"10.2174\/1389201023666220603092433","article-title":"Multivariate Models of Blood Glucose Prediction in Type1 Diabetes: A Survey of the State-of-the-art","volume":"24","author":"Arora Sunny","year":"2023","unstructured":"Sunny Arora, Shailender Kumar, and Pardeep Kumar. 2023. Multivariate Models of Blood Glucose Prediction in Type1 Diabetes: A Survey of the State-of-the-art. Current Pharmaceutical Biotechnology 24, 4 (2023), 532\u2013552.","journal-title":"Current Pharmaceutical Biotechnology"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613904.3642234"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"362","DOI":"10.15585\/mmwr.mm6712a3","article-title":"Trends in diabetic ketoacidosis hospitalizations and in-hospital mortality\u2014United States, 2000\u20132014","volume":"67","author":"Benoit Stephen R","year":"2018","unstructured":"Stephen R Benoit, Yan Zhang, Linda S Geiss, Edward W Gregg, and Ann Albright. 2018. Trends in diabetic ketoacidosis hospitalizations and in-hospital mortality\u2014United States, 2000\u20132014. Morbidity and Mortality Weekly Report 67, 12 (2018), 362.","journal-title":"Morbidity and Mortality Weekly Report"},{"key":"e_1_3_2_1_13_1","volume-title":"International journal of sports medicine 21, 01","author":"Borghouts LB","year":"2000","unstructured":"LB Borghouts and HA Keizer. 2000. Exercise and insulin sensitivity: a review. International journal of sports medicine 21, 01 (2000), 1\u201312."},{"key":"e_1_3_2_1_14_1","unstructured":"Adam Brown. 2022. 42 Factors That Affect Blood Glucose?! A Surprising Update. https:\/\/diatribe.org\/42-factors-affect-blood-glucose-surprising-update."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1056\/NEJMoa1907863"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228364"},{"key":"e_1_3_2_1_17_1","unstructured":"Tandem Diabetes Care. [n. d.]. Control-IQ+ Technology. https:\/\/www.tandemdiabetes.com\/products\/automated-insulin-delivery\/control-iq-plus."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.2337\/dc20-1086"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613904.3642344"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3581791.3596856"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377813.3381347"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.2337\/db11-0654"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","first-page":"1814","DOI":"10.2337\/dc12-0749","article-title":"Severe hypoglycemia predicts mortality in diabetes","volume":"35","author":"Cryer Philip E","year":"2012","unstructured":"Philip E Cryer. 2012. Severe hypoglycemia predicts mortality in diabetes. Diabetes care 35, 9 (2012), 1814\u20131816.","journal-title":"Diabetes care"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300600"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2016.03.068"},{"key":"e_1_3_2_1_26_1","unstructured":"Elvis Dohmatob. 2019. Generalized No Free Lunch Theorem for Adversarial Robustness. arXiv:1810.04065 [stat.ML] https:\/\/arxiv.org\/abs\/1810.04065"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","first-page":"S97","DOI":"10.2337\/dc23-S006","article-title":"6. Glycemic Targets: Standards of Care in Diabetes\u20142023","volume":"46","author":"ElSayed Nuha A.","year":"2022","unstructured":"Nuha A. ElSayed, Grazia Aleppo, Vanita R. Aroda, Raveendhara R. Bannuru, Florence M. Brown, Dennis Bruemmer, Billy S. Collins, Marisa E. Hilliard, Diana Isaacs, Eric L. Johnson, Scott Kahan, Kamlesh Khunti, Jose Leon, Sarah K. Lyons, Mary Lou Perry, Priya Prahalad, Richard E. Pratley, Jane Jeffrie Seley, Robert C. Stanton, and on behalf of the American Diabetes Association Gabbay, Robert A. 2022. 6. Glycemic Targets: Standards of Care in Diabetes\u20142023. Diabetes Care 46 (2022), S97\u2013S110.","journal-title":"Diabetes Care"},{"key":"e_1_3_2_1_28_1","volume-title":"Feedback control of dynamic systems","author":"Franklin Gene F","unstructured":"Gene F Franklin, J David Powell, Abbas Emami-Naeini, and J David Powell. 2002. Feedback control of dynamic systems. Vol. 4. Prentice hall Upper Saddle River."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1361-3723(16)30070-7"},{"key":"e_1_3_2_1_30_1","volume-title":"John B Welsh, Mark P Christiansen, Andrew K Balo, Sue A Brown, Jennifer L Reid, et al.","author":"Garg Satish K","year":"2022","unstructured":"Satish K Garg, Mark Kipnes, Kristin Castorino, Timothy S Bailey, Halis Kaan Akturk, John B Welsh, Mark P Christiansen, Andrew K Balo, Sue A Brown, Jennifer L Reid, et al. 2022. Accuracy and safety of Dexcom G7 continuous glucose monitoring in adults with diabetes. Diabetes technology & therapeutics 24, 6 (2022), 373\u2013380."},{"key":"e_1_3_2_1_31_1","unstructured":"Trio GitHub. 2025. Hypo Protect. https:\/\/github.com\/nightscout\/Trio\/issues\/449."},{"key":"e_1_3_2_1_32_1","unstructured":"Trio GitHub. 2025. Offer custom BG target when COB=0. https:\/\/github.com\/nightscout\/Trio\/issues\/631."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S2213-8587(22)00218-2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.19"},{"key":"e_1_3_2_1_35_1","volume-title":"Security and privacy for implantable medical devices","author":"Halperin Daniel","year":"2008","unstructured":"Daniel Halperin, Thomas S Heydt-Benjamin, Kevin Fu, Tadayoshi Kohno, and William H Maisel. 2008. Security and privacy for implantable medical devices. IEEE pervasive computing 7, 1 (2008), 30\u201339."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/269005.266660"},{"key":"e_1_3_2_1_37_1","unstructured":"UCLA Health. 2025. Diabetes exercise guidelines. https:\/\/www.uclahealth.org\/medical-services\/endocrinology\/diabetes\/type-1-diabetes\/exercise-guidelines."},{"key":"e_1_3_2_1_38_1","volume-title":"Clinical application of emerging sensor technologies in diabetes management: consensus guidelines for continuous glucose monitoring (CGM). Diabetes technology & therapeutics 10, 4","author":"Hirsch Irl B","year":"2008","unstructured":"Irl B Hirsch, Dana Armstrong, Richard M Bergenstal, Bruce Buckingham, Belinda P Childs, William L Clarke, Anne Peters, and Howard Wolpert. 2008. Clinical application of emerging sensor technologies in diabetes management: consensus guidelines for continuous glucose monitoring (CGM). Diabetes technology & therapeutics 10, 4 (2008), 232\u2013246."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/RBME.2023.3331297"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498361.3538935"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.12998\/wjcc.v11.i13.2890"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3678504"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","first-page":"1922","DOI":"10.2337\/diacare.27.8.1922","article-title":"Evaluating the accuracy of continuous glucose-monitoring sensors: continuous glucose-error grid analysis illustrated by TheraSense Freestyle Navigator data","volume":"27","author":"Kovatchev Boris P","year":"2004","unstructured":"Boris P Kovatchev, Linda A Gonder-Frederick, Daniel J Cox, and William L Clarke. 2004. Evaluating the accuracy of continuous glucose-monitoring sensors: continuous glucose-error grid analysis illustrated by TheraSense Freestyle Navigator data. Diabetes Care 27, 8 (2004), 1922\u20131928.","journal-title":"Diabetes Care"},{"key":"e_1_3_2_1_44_1","volume-title":"2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 242\u2013252","author":"Kushner Taisa","year":"2018","unstructured":"Taisa Kushner, David Bortz, David M Maahs, and Sriram Sankaranarayanan. 2018. A data-driven approach to artificial pancreas verification and synthesis. In 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 242\u2013252."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613904.3642435"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7535(03)00047-X"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"e_1_3_2_1_49_1","volume-title":"Thomas","author":"Leveson Nancy G.","year":"2018","unstructured":"Nancy G. Leveson and John P. Thomas. 2018. STPA Handbook. Technical Report. Massachusetts Institute of Technology. https:\/\/psas.scripts.mit.edu\/home\/get_file.php?name=STPA_handbook.pdf"},{"key":"e_1_3_2_1_50_1","volume-title":"2011 IEEE 13th international conference on e-health networking, applications and services. IEEE, 150\u2013156","author":"Li Chunxiao","year":"2011","unstructured":"Chunxiao Li, Anand Raghunathan, and Niraj K Jha. 2011. Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system. In 2011 IEEE 13th international conference on e-health networking, applications and services. IEEE, 150\u2013156."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1177\/1932296820949939"},{"key":"e_1_3_2_1_52_1","unstructured":"Loop. [n. d.]. An automated insulin delivery app for iOS built on LoopKit. https:\/\/github.com\/LoopKit\/Loop."},{"key":"e_1_3_2_1_53_1","volume-title":"Blood glucose control algorithms for type 1 diabetic patients: A methodological review. Biomedical signal processing and control 8, 2","author":"Lunze Katrin","year":"2013","unstructured":"Katrin Lunze, Tarunraj Singh, Marian Walter, Mathias D Brendel, and Steffen Leonhardt. 2013. Blood glucose control algorithms for type 1 diabetic patients: A methodological review. Biomedical signal processing and control 8, 2 (2013), 107\u2013119."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2857705.2857746"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1089\/dia.2023.0109"},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings of the 2nd ACM international conference on High confidence networked systems. 65\u201374","author":"Mohan Sibin","year":"2013","unstructured":"Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, and Marco Caccamo. 2013. S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems. In Proceedings of the 2nd ACM international conference on High confidence networked systems. 65\u201374."},{"key":"e_1_3_2_1_57_1","volume-title":"Wade Hilts, Joseph Leitschuh","author":"Mosquera-Lopez Clara","year":"2023","unstructured":"Clara Mosquera-Lopez, Leah M Wilson, Joseph El Youssef, Wade Hilts, Joseph Leitschuh, Deborah Branigan, Virginia Gabo, Jae H Eom, Jessica R Castle, and Peter G Jacobs. 2023. Enabling fully automated insulin delivery through meal detection and size estimation using Artificial Intelligence. npj Digital Medicine 6, 1 (2023), 39."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.2337\/dc13-2112","article-title":"The diabetes control and complications trial\/epidemiology of diabetes interventions and complications study at 30 years: overview","volume":"37","author":"David M Nathan and DCCT\/Edic Research Group","year":"2014","unstructured":"David M Nathan and DCCT\/Edic Research Group. 2014. The diabetes control and complications trial\/epidemiology of diabetes interventions and complications study at 30 years: overview. Diabetes care 37, 1 (2014), 9\u201316.","journal-title":"Diabetes care"},{"key":"e_1_3_2_1_59_1","unstructured":"OpenAPS. [n. d.]. The Open Artificial Pancreas System project. https:\/\/github.com\/openaps."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487212.3487342"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","first-page":"1557","DOI":"10.1177\/193229681100500632","article-title":"A review of the security of insulin pump infusion systems","volume":"5","author":"Paul Nathanael","year":"2011","unstructured":"Nathanael Paul, Tadayoshi Kohno, and David C Klonoff. 2011. A review of the security of insulin pump infusion systems. Journal of diabetes science and technology 5, 6 (2011), 1557\u20131562.","journal-title":"Journal of diabetes science and technology"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386901.3389032"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2019.07.004"},{"key":"e_1_3_2_1_64_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Reis Charles","year":"2019","unstructured":"Charles Reis, Alexander Moshchuk, and Nasko Oskov. 2019. Site isolation: Process separation for web sites within the browser. In 28th USENIX Security Symposium (USENIX Security 19). 1661\u20131678."},{"key":"e_1_3_2_1_65_1","volume-title":"2014 IEEE symposium on security and privacy. IEEE, 524\u2013539","author":"Rushanan Michael","year":"2014","unstructured":"Michael Rushanan, Aviel D Rubin, Denis Foo Kune, and Colleen M Swanson. 2014. Sok: Security and privacy in implantable medical devices and body area networks. In 2014 IEEE symposium on security and privacy. IEEE, 524\u2013539."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643832.3661867"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-021-03233-1"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","first-page":"e0278794","DOI":"10.1371\/journal.pone.0278794","article-title":"Accelerated absorption of regular insulin administered via a vascularizing permeable microchamber implanted subcutaneously in diabetic Rattus norvegicus","volume":"18","author":"Steyn Leah V","year":"2023","unstructured":"Leah V Steyn, Delaney Drew, Demetri Vlachos, Barry Huey, Katie Cocchi, Nicholas D Price, Robert Johnson, Charles W Putnam, and Klearchos K Papas. 2023. Accelerated absorption of regular insulin administered via a vascularizing permeable microchamber implanted subcutaneously in diabetic Rattus norvegicus. Plos one 18, 6 (2023), e0278794.","journal-title":"Plos one"},{"key":"e_1_3_2_1_70_1","unstructured":"Tandem Diabetes Care. 2024. Accuracy of Dexcom G7. https:\/\/www.tandemdiabetes.com\/support-center\/cgm-sensors\/dexcom-g7\/article\/accuracy-of-dexcom-g7."},{"key":"e_1_3_2_1_71_1","volume-title":"9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)","author":"Tang Shuo","year":"2010","unstructured":"Shuo Tang, Haohui Mai, and Samuel T King. 2010. Trust and protection in the illinois browser operating system. In 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)."},{"key":"e_1_3_2_1_72_1","unstructured":"Muffy H. Thomas. 1994. The story of the Therac-25 in LOTOS. https:\/\/api.semanticscholar.org\/CorpusID:2373787"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386901.3389022"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1038\/s42255-020-0212-y"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1177\/1460458219850682"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-815655-1.00015-6"},{"key":"e_1_3_2_1_77_1","volume-title":"USENIX security symposium","author":"Wang Helen J","unstructured":"Helen J Wang, Chris Grier, Alexander Moshchuk, Samuel T King, Piali Choudhury, and Herman Venter. 2009. The Multi-Principal OS Construction of the Gazelle Web Browser.. In USENIX security symposium, Vol. 28."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.2337\/dc07-1967"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613904.3642612"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3581791.3596864"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3581791.3596854"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386901.3389028"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.bspc.2021.102923"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3581791.3596848"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3678550"},{"key":"e_1_3_2_1_86_1","volume-title":"2021 51st Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 484\u2013496","author":"Zhou Xugui","year":"2021","unstructured":"Xugui Zhou, Bulbul Ahmed, James H Aylor, Philip Asare, and Homa Alemzadeh. 2021. Data-driven design of context-aware monitors for hazard prediction in artificial pancreas systems. In 2021 51st Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 484\u2013496."},{"key":"e_1_3_2_1_87_1","volume-title":"KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems. arXiv preprint arXiv:2311.07460","author":"Zhou Xugui","year":"2023","unstructured":"Xugui Zhou, Maxfield Kouzel, Chloe Smith, and Homa Alemzadeh. 2023. KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems. arXiv preprint arXiv:2311.07460 (2023)."},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/JBHI.2020.3014556"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","unstructured":"T. Zhu C. Uduku K. Li and et al. 2022. Enhancing self-management in type 1 diabetes with wearables and deep learning. npj Digital Medicine 5 (2022) 78. 10.1038\/s41746-022-00626-5","DOI":"10.1038\/s41746-022-00626-5"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1177\/193229681100500627"}],"event":{"name":"MobiSys '26: 24th Annual International Conference on Mobile Systems, Applications and Services","location":"University of Cambridge Cambridge United Kingdom","acronym":"MobiSys '26","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 24th Annual International Conference on Mobile Systems, Applications and Services"],"original-title":[],"deposited":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T12:57:10Z","timestamp":1780059430000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3745756.3809198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,20]]},"references-count":90,"alternative-id":["10.1145\/3745756.3809198","10.1145\/3745756"],"URL":"https:\/\/doi.org\/10.1145\/3745756.3809198","relation":{},"subject":[],"published":{"date-parts":[[2026,6,20]]},"assertion":[{"value":"2026-06-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}