A Moonshot for Trustworthy Medical Software Updates Using Automated Insulin Delivery Systems as a Proving Ground.

Josiah Dykstra, Shannon Lantzy, Eugene Y. Vasserman

Browse the full ACSAC paper archive.