Tag: Safety in Updating Chips and Programs