A secure insulin infusion system using verification monitors.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

Browse the full MEMOCODE paper archive.