Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware.

Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik

Browse the full DAC paper archive.