مقالات کنفرانس 2022

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

نویسندگان:Z. KazemiA. NorollahM. FazeliD. HélyV. Beroulle

قبل از اینکه نرم‌افزار نهفته با حمله‌ی تزریق خطا روبه‌رو شود، بهتر است بدانیم کدام بخش‌های کد آسیب‌پذیرترند. این مقاله با اجرای نمادین (symbolic execution) و از راه بازبینی کد، این نقاط ضعف را پیدا و اولویت‌بندی می‌کند. LLVM و افزونه‌اش KLEE در کد assertion نمادین می‌گذارند و از آن یک ضریب آسیب‌پذیری به دست می‌آید که حالت‌های مرزی را در مسیرهای اجرا نشان می‌دهد. مطالعه‌ی موردی و اینکه assertionها چه چیزهایی را پیدا کردند در مقاله آمده است.