PASCAL: Timing SCA Resistant Design and Verification Flow

A large number of crypto accelerators are being deployed with the widespread adoption of IoT. It is vitally important that these accelerators and other security hardware IPs are provably secure. Security is an extra functional requirement and hence many security verification tools are not mature. We...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Lai, Xinhui, Jenihhin, Maksim, Raik, Jaan, Kolin, Paul
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 19.08.2020
Subjects
Accelerators
Circuits
Critical path
Cycle time
Design modifications
Flow resistance
Information flow
Leakage
Verification
Online AccessGet full text

Cover

More Information
Summary:A large number of crypto accelerators are being deployed with the widespread adoption of IoT. It is vitally important that these accelerators and other security hardware IPs are provably secure. Security is an extra functional requirement and hence many security verification tools are not mature. We propose an approach/flow-PASCAL-that works on RTL designs and discovers potential Timing Side-Channel Attack(SCA) vulnerabilities in them. Based on information flow analysis, this is able to identify Timing Disparate Security Paths that could lead to information leakage. This flow also (automatically) eliminates the information leakage caused by the timing channel. The insertion of a lightweight Compensator Block as balancing or compliance FSM removes the timing channel with minimum modifications to the design with no impact on the clock cycle time or combinational delay of the critical path in the circuit.
ISSN:2331-8422