End-to-End Concolic Testing for Secure Systems-on-Chips

  • Authors:
    Fei Xie (Portland State)
    Publication ID:
    P091071
    Publication Type:
    Annual Review
    Received Date:
    4-Jun-2017
    Last Edit Date:
    5-Jun-2017
    Research:
    2708.001 (Portland State University)

Abstract

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.

Past Events

  Event Summary
19 June 2017
GRC
GRC
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

4819 Emperor Blvd, Suite 300 Durham, NC 27703 Voice: (919) 941-9400 Fax: (919) 941-9450