LFI resistant FSM encoding

Finite State Machines (FSMs) are widely used to implement complex computation sequences and communication protocols. An FSM may consist of different states with different privilege levels, such as protected and non-protected. Ideally,switching from a non-protected state to a protected state should involve an authorization transition. However, with Laser-based Fault injection (LFI), an attacker can bypass authorization by flipping bits in the FSM’s state vector. In order to mitigate LFI vulnerability, one can encode the FSM states with the objective of maintaining a large Hamming Distance (HD) between each pair of states. The existing FSM encoding algorithms are either very slow, rely on the user’s mathematical ability to manually generate certain state encodings, or lead to unacceptable area overhead. This repository contains an automated framework for generating FSM encodings to defend against LFI attacks.

Try it here

Github project link : AREST

Cite this work :

A. Jayasena, K. Rani and P. Mishra, “Efficient Finite State Machine Encoding for Defending Against Laser Fault Injection Attacks,” 2022 IEEE 40th International Conference on Computer Design (ICCD), Olympic Valley, CA, USA, 2022, pp. 247-254, doi: 10.1109/ICCD56317.2022.00044.

@inproceedings{jayasena2022efficient,
  title={Efficient Finite State Machine Encoding for Defending Against Laser Fault Injection Attacks},
  author={Jayasena, Aruna and Rani, Khushboo and Mishra, Prabhat},
  booktitle={IEEE International Conference on Computer Design},
  year={2022},
  organization={IEEE}
}