Robuta

https://researchconnect.stonybrook.edu/en/publications/a-comprehensive-automated-security-analysis-of-the-uptane-automot/ A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework...