Integrating Threat Analysis and Formal Verification for Secure OTA Updates.

Sheraz Mazhar, Abdur Rakib, Robin Doss, Adnan Anwar, Frank Jiang

Browse the full PRDC paper archive.