Simple Greedy algorithm AREST, which can find you the best state encoding for a given FSM that is resistant against Laser Fault Injection (LFI) attacks.
Running the script
python3 AREST_encoding.py [LFI capability] [Number of States]
@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}
}
Demo : archfx.github.io/fsmencoding