Abhinandan panda, Srinivas Pinisetty, Partha S. Roop. A secure insulin infusion system using verification monitors. In S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001, editors, MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. pages 56-65, ACM, 2021. [doi]
Abstract is missing.