رمزهای قالبی ARX که وجه تسمیه آن‌ها سرواژه‌های سه عملگر جمع‌پیمانه‌ای (Addition)، چرخش (Rotation) و Xor است، از جمله مناسب‌ترین رمزها با پیاده‌سازی نرم‌افزاری کارا هستند. به دلیل نتایج قابل‌توجه در بررسی امنیت رمزهای ARX، دو تحلیل تفاضلی و تفاضل‌ناممکن همواره مورد توجه طراحان و تحلیل‌گران بوده‌اند. تمایزگرهای این دو تحلیل از انتشار تفاضل‌های مشخص در رمز قالبی با احتمال غیرتصادفی بهره می‌برند که برای تحلیل تفاضلی این احتمال به اندازه کافی زیاد بوده و برای تحلیل تفاضل‌ناممکن احتمال انتشار تفاضل برابر با صفر است.

همانطور که ما در حال حرکت در چشم انداز در حال تحول فضای سایبری هستیم، ادامه‌ی کاوش در راه حل‌­های نوآورانه و رویکردهای مشترک برای اطمینان از امنیت فناوری زنجیره قالب‌ها حیاتی است. با استفاده از پتانسیل آن و در عین حال رسیدگی به آسیب‌پذیری‌های آن، می‌توانیم اکوسیستم دیجیتال امن‌تر و انعطاف‌پذیرتری در فضای سایبری ایجاد کنیم. در نتیجه، امنیت فناوری زنجیره قالب‌ها در فضای سایبری یک زمینه چند وجهی و موضوعی پیچیده و در حال تحول است.

چکیده سخنرانی:

In recent years, hardware security has emerged as a critical concern in the field of integrated circuit design. With the increasing complexity and integration of electronic systems, there is an escalating need to address the growing threat posed by hardware Trojans. These malicious alterations to integrated circuits can compromise the system integrity, leak sensitive data, or even cause catastrophic failures. To combat this evolving threat landscape, it is imperative to develop sophisticated Computer-Aided Design (CAD) tools specifically tailored for hardware security. The importance of investing in specialized CAD tools lies in their ability to proactively identify potential vulnerabilities during various stages of IC design while reducing both design time and costs. Numerous research works have endeavored to bridge this gap by developing advanced security analysis engines. These include data leakage prevention, access control violation detection, side-channel leakage mitigation techniques, and hardware Trojans detection. Regrettably, despite the growing demand for such tools, there is currently a dearth of a cohesive ecosystem comprising security-aware CAD tools. This session we will talk about Hardware Trojans and defensive and offensive approaches. Additionally, we mainly will focus on a CAD tool targeting design for trust that can detect the malicious Trojans in design with minor design overheads while shortening the authentication time.

بیوگرافی:

Ahmad Shabani is a highly accomplished professional in the field of electrical engineering, specializing in digital electronic systems and hardware security. He received his B.S. degree in Electrical Engineering from Shiraz University, Iran, in 2014, followed by an M.S. degree in Digital Electronic Systems from Shahid Beheshti University, Tehran, Iran, in 2016. In 2021, he completed his Ph.D. focused on Digital Electronic Systems at the University of Tehran. Currently serving as an Adjunct Instructor at the University of Tehran and collaborating with the Design Verification and Debugging of Embedded Systems (DVDES) laboratory at Tehran University, Dr. Shabani brings expertise in digital ASIC design flow and security-aware digital design for both academia and industry application. His research interests include image processing and video coding standards, hardware security, hardware Trojans, and low-power & high-speed digital VLSI circuits.