دانلود فایل با شمار فاکتور
لطفا شماره فاکتور خود را درج نمایید
جدیدترین لغات واژهنامه
کشورهای شمال اروپا
آتش سوزی های جنگلی
دوسویه
نادیده گرفتن، دست انداخ
اجتناب ناپذیر، بی شفقت،
آمار بازدیدکنندگان
بازدید امروز :44
بازدید روز گذشته :57
بازدید این هفته :513
بازدید این ماه :446
مجموع آمار بازدید ها :812821
بازدید روز گذشته :57
بازدید این هفته :513
بازدید این ماه :446
مجموع آمار بازدید ها :812821
عنوان محصول: حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیتها و عملکردهای فراتر از حملات SAT
دستهبندی: مقالات ترجمه شده رشته کامپیوتر
تاریخ انتشار:
سه شنبه 21 مرداد 1399
توضیحات مختصر:
در این مقاله، ما حمله تئوری مدول رضایتمندی (SMT) بر روی مدارهای مبهم سازی شده را معرفی میکنیم. حمله پیشنهادی ابر مجموعهای از حملات رضایتمندی (SAT) با ویژگیهای اضافی بیشتر است. این حمله از یک یا چند حلکننده بهعلاوه حلکننده SAT درونی استفاده میکند. به همین دلیل، امکان مدلسازی رفتارهای بسیار پی...
|
![]() | حمله SMT: حمله نسل بعدی در مدارهای مبهم سازی شده با قابلیتها و عملکردهای فراتر از حملات SAT |




399 بازدید
کد مقاله: TTC-
3858
نوع فایل : docx
لینک دانلود فایل خریداری شده بلافاصله بعد از خرید موفق فعال خواهد شد.
Abstract
In this paper, we introduce the Satisfiability Modulo Theory (SMT) attack on obfuscated circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many additional features. It uses one or more theory solvers in addition to its internal SAT solver. For this reason, it is capable of modeling far more complex behaviors and could formulate much stronger attacks. In this paper, we illustrate that the use of theory solvers enables the SMT to carry attacks that are not possible by SAT formulated attacks. As an example of its capabilities, we use the SMT attack to break a recent obfuscation scheme that uses key values to alter delay properties (setup and hold time) of a circuit to remain SAT hard. Considering that the logic delay is not a Boolean logical property, the targeted obfuscation mechanism is not breakable by a SAT attack. However, in this paper, we illustrate that the proposed SMT attack, by deploying a simple graph theory solver, can model and break this obfuscation scheme in few minutes. We describe how the SMT attack could be used in one of four different attack modes: (1) We explain how SMT attack could be reduced to a SAT attack, (2) how the SMT attack could be carried out in Eager, and (3) Lazy approach, and finally (4) we introduce the Accelerated SMT (AccSMT) attack that offers significant speed-up to SAT attack. Additionally, we explain how AccSMT attack could be used as an approximate attack when facing SMT-Hard obfuscation schemes.
چکیده
در این مقاله، ما حمله تئوری مدول رضایتمندی (SMT) بر روی مدارهای مبهم سازی شده را معرفی میکنیم. حمله پیشنهادی ابر مجموعهای از حملات رضایتمندی (SAT) با ویژگیهای اضافی بیشتر است. این حمله از یک یا چند حلکننده بهعلاوه حلکننده SAT درونی استفاده میکند. به همین دلیل، امکان مدلسازی رفتارهای بسیار پیچیده و فرموله نمودن حملات بسیار قویتر ممکن میشود. در این مقاله، ما نشان میدهیم که استفاده از حلکنندههای تئوری، SMT را قادر به انجام حملاتی میکنند که با استفاده از حملات فرموله شده SAT قابل انجام نیستند. بهعنوان یک مثال از این قابلیتها، ما از حمله (SAT) برای غلبه بر طرح مبهم سازی که در آن از مقادیر کلیدها برای تغییر مشخصههای تأخیر مدار جهت مشکل نمودن حملات SAT به کار برده میشوند، استفاده میکنیم. باید در نظر داشت که تأخیر منطقی یک مشخصه منطقی بولین نیست و از طرفی مکانیسم مبهم سازی هدف توسط یک حمله SAT قابل شکستن نمیباشد. با این حال در این مقاله، ما نشان میدهیم که حمله SMT پیشنهادی با استقرار یک حلکننده تئوری گراف ساده میتواند این طرح مبهم سازی را در چند دقیقه مدلسازی نموده و بر آن غلبه نماید. ما در این مقاله توضیح میدهیم که چگونه یک حمله SMT را میتوان برای چهار حالت مختلف حمله استفاده نمود: (1) ما چگونگی کاهش یک حمله SMT به یک حمله SAT را توضیح میدهیم (2) چگونگی اجرای حمله SMT در Eager را توضیح میدهیم (3) رویکرد کند توضیح داده شده و درنهایت (4) حمله SMT تسریع شده (AccSMT) معرفی میشود که میتواند سرعت حمله SAT را بهصورت چشمگیری افزایش دهد. علاوه بر این ما چگونگی استفاده از حمله AccSMT بهعنوان حمله تقریب در زمان مواجه با طرحهای مبهم سازی دشوار SMT را توصیف میکنیم.

