Differential Cryptanalysis of Lightweight Block Ciphers SLIM and LCB

This repository contains supplementary codes and SMT models for the paper "Differential Cryptanalysis of Lightweight Block Ciphers SLIM and LCB".

SLIM

SLIM is a ultra lightweight block cipher using 32-bit blocks and 80 bits master key [1].

References

[1] Aboushosha, B., Ramadan, R. A., Dwivedi, A. D., El-Sayed, A., & Dessouky, M. M. (2020). SLIM: A lightweight block cipher for internet of health things. IEEE Access, 8, 203747-203757.

Summary

• ./cryptosmt-slim: folder contains all scripts used in cryptoSMT tool for differential attack

  • cryptosmt-boomerang-slim.py: main script to execute slim.py
  • slim.py: SLIM structure modelling in SMT model
  • slim32.yaml: input file for running differential clustering (mode 4)

• slim.cpp: SLIM encryption and decryption

• slim-key.cpp: SLIM key scheduling and master keys randomization algorithm

• slim-ddt.cpp: generate SLIM Differential Distribution Table

• attack.cpp: SLIM key recovery attack

• main.cpp: Main script running everything

How to run the program

The script is cater for 13-round key recovery attack. Following are steps to run the script:

1. cmake CMakeLists.txt
2. make all
3. ./slim_cipher

Caution: This execution time of this script is around 1 hour.