Chinese Academy of Sciences makes progress on block cipher algorithms in differential cryptanalysis

According to news from this website on November 20, according to the official public account of the Institute of Software, Chinese Academy of Sciences, recently, the Trusted Intelligent System Research Team of the Institute of Software, Chinese Academy of Sciences performed a differential analysis on the group encryption algorithm. Some progress has been made in cryptanalysis.

It is reported that the working team designed a domain programming language EasyBC for block encryption algorithms. On this basis, it proposed a universal and scalable differential cryptanalysis method and developed a fully automatic analysis tool platform EasyBC.

▲EasyBC platform flow chart, picture source official public account of the Institute of Software, Chinese Academy of Sciences

According to the information disclosed by the Institute of Software, Chinese Academy of Sciences, we learned that this The research results have been accepted by POPL 2024, the top international conference on programming languages, and are titled "EasyBC: A cryptography-specific language for differential cryptanalysis". The corresponding author of the study is researcher Song Fu from the State Key Laboratory of Computer Science of the Institute of Software.

It is reported that the block cipher algorithm (block cipher) divides the plaintext into multiple equal-length modules (blocks). Use symmetric keys to encrypt or decrypt each group separately, which is widely used in many fields such as email encryption and bank transaction transfer.

As an extremely important component of the encryption protocol, the mainstream block encryption algorithms include SM1, SM4 and SM7 promulgated by the State Cryptographic Administration of China, and the standard algorithms AES and 3DES approved by the US government.

Differential cryptanalysis plays a core role in evaluating the security of block encryption algorithms and is an indispensable security analysis method for standardized block encryption algorithms

Currently existing differential cryptanalysis methods are There are certain deficiencies in terms of versatility and automation. At the same time, the complexity of the modeling process requires users to be familiar with a large number of modeling methods and the application of underlying analysis tools.

In order to solve the above problems, the research team developed EasyBC, a high-level programming language specifically used for cryptography. This language provides complete formal definitions of syntax, types and semantics for the security of block encryption algorithms. Automated analysis provides a good foundation. In addition, the research team also proposed three differential cryptanalysis methods with different analysis accuracy and performance. These methods not only unify and optimize the existing modeling methods of various encryption operations, but also propose a variety of new modeling methods

The content that needs to be rewritten is: ▲The 23 encryption primitives implemented by EasyBC language, the picture comes from the official public account of the Institute of Software, Chinese Academy of Sciences

research team Implemented 23 encryption primitives, including the underlying replacement algorithm of the National Institute of Standards and Technology (NIST)-certified encryption scheme and a variety of commonly used block encryption algorithms; and conducted research on the block cipher primitives among them. Security analysis was carried out, thereby verifying the expressive ability of the EasyBC language and the effectiveness of the automatic security analysis of the EasyBC tool platform.

▲ Security analysis results of differential cryptography of encryption primitives implemented by Word-wise, source: Official public account of the Institute of Software, Chinese Academy of Sciences

Software Research of the Chinese Academy of Sciences It is said that this research is of great significance to the study of differential cryptanalysis of block encryption algorithms, and provides a good basis for subsequent cryptography-related researchers to conduct fully automatic security analysis of block encryption algorithms and performance evaluation of various computational operation modeling methods. Research foundation and platform support.

The above is the detailed content of Chinese Academy of Sciences makes progress on block cipher algorithms in differential cryptanalysis. For more information, please follow other related articles on the PHP Chinese website!