End-to-End Concolic Testing for Secure Systems-on-Chips
This presentation reviews our approach to end-to-end concolic testing for secure Systems-on-Chips (SoC), i.e., automatically generating test cases that can validate a SoC against system-level security assertions crosscutting the entire SoC stack and hardware, firmware, and software interfaces by combining both concrete and symbolic execution.
|Computer-Aided Design and Test - Verification and System Logic & Physical Design Review|
Monday, June 19, 2017, 8 a.m.–5:30 p.m. CT
Austin, TX, United States