Verification of Authenticated Firmware Loaders.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

Browse the full FMCAD paper archive.