uptane is an updater system for automotive applications based on TUF