کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
461339 696585 2015 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Closing the gap between speed and configurability of multi-bit fault emulation environments for security and safety–critical designs
ترجمه فارسی عنوان
تعطیل کردن فاصله بین سرعت و قابلیت تنظیم محیط های تقلید چند گانه برای امنیت و ایمنی طرح های حیاتی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی


• FPGA-based multi-bit fault injection environment for security and safety verification.
• Faults are configurable at run time without re-synthesizing the design.
• Optimal performance.
• Emulation result evaluation optimized for microprocessor-like designs.

Steadily decreasing transistor sizes and new multi beam laser attacks lead to an increasing amount of multi-bit fault occurrences, e.g., during fault attacks against cryptographic implementations. Therefore, multi-bit fault injection becomes more important during security and safety verification. Fault injection techniques which are applicable during the development cycle of a device are based on either software implementations, e.g. formal methods and simulations, or fault emulation environments in hardware. So far, simulations provide the best configurability whereas fault emulation environments provide the best performance in terms of run time. This contribution presents an FPGA-based emulation environment that combines the advantages of both simulation-based and emulation-based environments. To the best of our knowledge, we are the first to achieve this. Permanent and transient multi-bit faults are configurable at run time where the selection of a fault model, the configuration of the injection time and fault duration is supported without the need for re-synthesizing the design. We propose three measures for performance optimization allowing us to support all the fault configuration capabilities at run time without performance penalty. Experimental results are provided for a hardened 8051-like microprocessor showing that the presented emulation environment reaches the theoretical optimal performance for a wide range of fault configurations using our proposed optimizations.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Microprocessors and Microsystems - Volume 39, Issue 8, November 2015, Pages 1119–1129
نویسندگان
, , , ,