Automated Analysis of the Lightweight Block Cipher Algorithm FBC
Yifan Lu · 2024
Cryptography is a technical discipline that studies the encoding and decoding of messages, as well as the analysis of cryptographic systems. Block ciphers are known for their fast computational speed and adaptability to both software and hardware, making them suitable for a wide range of applications. Automated analysis stands out as the most crucial and fundamental tool in current block cipher analysis, demonstrating advantages in resource consumption and computational efficiency within the field of cryptography. Lightweight ciphers, on the other hand, have been widely researched and applied due to their high efficiency, low power consumption, and suitability for resource-constrained environments. This paper primarily focuses on the automated analysis of the lightweight block cipher algorithm FBC. A modeling approach based on Mixed-Integer Linear Programming (MILP) is employed to automate the analysis of the FBC algorithm. Utilizing a logical condition approach, the differential characteristics of the FBC algorithm's S-box are analyzed. This involves defining an objective function, identifying constraints, establishing an optimization model, and subsequently applying optimization techniques, ultimately completing the automated analysis process.