Conference papers 2022

An Offline Hardware Security Assessment Approach using Symbol Assertion and Code Shredding

Authors:Z. KazemiA. NorollahM. FazeliD. HélyV. Beroulle

Before embedded software meets a fault injection attack, it helps to know which parts of the code are most exposed. This paper uses symbolic execution to find and rank those weak points through code review. LLVM and its KLEE add-on insert symbolic assertions into the code, which gives a vulnerability factor for spotting corner cases in the execution paths. Read the paper for the case study and what the assertions caught.