Konferensartiklar 2022
An Offline Hardware Security Assessment Approach using Symbol Assertion and Code Shredding
Författare:Z. KazemiA. NorollahM. FazeliD. HélyV. Beroulle
Innan inbyggd mjukvara utsätts för en attack med felinjicering är det bra att veta vilka delar av koden som är mest utsatta. Artikeln använder symbolisk exekvering för att hitta och rangordna de svaga punkterna genom kodgranskning. LLVM och tillägget KLEE lägger in symboliska assertions i koden, vilket ger en sårbarhetsfaktor som hjälper till att hitta specialfall i exekveringsvägarna. Läs artikeln för fallstudien och vad assertions hittade.
- Publicerad i
- 23rd International Symposium on Quality Electronic Design (ISQED)
- Referens
- 2022, pp. 1–1
- Ämnen
- security, symbolic execution, assessment