This code package is an example of Algebraic Fault Analysis (AFA) of SHA-3 implemented in C++ based on CryptoMiniSat. Please refer to the source code and our papers [1][2][3] for more details.

[1] Luo, Pei, Konstantinos Athanasiou, Yunsi Fei, and Thomas Wahl. "Algebraic Fault Analysis of SHA-3 under Relaxed Fault Models." IEEE Transactions on Information Forensics and Security (2018).

[2] Luo, Pei, Konstantinos Athanasiou, Yunsi Fei, and Thomas Wahl. "Algebraic fault analysis of SHA-3." In 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 151-156. IEEE, 2017.

[3] Luo, Pei. "Side-Channel Security Analysis and Protection of SHA-3." PhD diss., Northeastern University, 2017.

If you have any question, please contact Yunsi Fei at yfei@ece.neu.edu

The software is available to the public for free. If you use them in your work, we request you to kindly acknowledge us by citing our website with the title of “Northeastern University TeSCASE dataset” and the URL of “https://chest.coe.neu.edu/.”