Structural analysis attack on finite state machine obfuscated circuits
نویسندگان
چکیده
In this letter, a structural analysis attack is explored as the first kind of to disclose secret key circuit encrypted by latest obfuscation technique JANUS-HD. By extracting finite state machine (FSM) diagram from and converting traces into constraints, can be deduced CP-SAT solver within few minutes or even seconds in most cases. Incorrect keys further pruned sequential equivalence checking with several oracles case more than one obtained. The entire procedure lasts no longer hours for an FSM 4096 states.
منابع مشابه
Reverse Engineering Integrated Circuits Using Finite State Machine Analysis
Due to the lack of a secure supply chain, it is not possible to fully trust the integrity of electronic devices. Current methods of verifying integrated circuits are either destructive or non-specific. Here we expand upon prior work, in which we proposed a novel method of reverse engineering the finite state machines that integrated circuits are built upon in a non-destructive and highly specif...
متن کاملFinite State Machine Localisation Based on Ip Softcores Analysis
This paper deals with techniques of finite state machines (FSMs) localization in FSM-based softcore intellectual property (IP) cores described in VHDL. An approach based on compilation techniques is presented. The main goal of the FSM localisation is to supplement additional information about the softcore for the core user. Three methods and experimental results are presented in the paper toget...
متن کاملOn Abstraction in Finite State Machine Models
Information hiding is a long established principle in software engineering. However, in the context of finite state machines a contrary principle of information exposure has been suggested. Using a simple example, we examine why a proven abstraction mechanism which works well in other areas may be less successful when applied to a finite state machine model. After using Statecharts [3] to speci...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملState Assignment for Finite State Machine Synthesis
This paper proposes simulated annealing based algorithm for the synthesis of a finite state machine to determine the optimal state assignment with less area and power dissipation. The algorithm has two annealing stages. In the first rough annealing stage it tries to search in global scope by the proposed rough search method. In the second focusing annealing stage it tries to search in local sco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics Letters
سال: 2023
ISSN: ['0013-5194', '1350-911X']
DOI: https://doi.org/10.1049/ell2.12748