A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework.

Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury

Browse the full RAID paper archive.