Verifying method of countermeasure against power side-channel attack

Abstract

The invention relates to a verifying method of a countermeasure against a power side-channel attack. The verifying method of the countermeasure against the power side-channel attack is characterized by comprising the following steps: using the compiler technology to translate a cryptographic algorithm program into intermediate representation, and labeling the secret part, public part and random variable in the cryptographic algorithm program; and step 2, using the type inference to infer each intermediate result in the intermediate representation according to the intermediate result dependencyrelation of the program. The invention achieves remarkable performance improvement effect. Through the experiments of a plurality of encryption algorithm programs, it takes only a few seconds to complete the proof of a perfect randomized camouflage MACKeccak program; and for an imperfect randomized camouflage program, the method disclosed by the invention can detect and locate all leaking points,and the performance of the invention is improved by one time compared with the traditional SMT-based method.

Description

technical field [0001] The invention relates to a randomized masquerading proof method and a leakage detection method of a cryptographic algorithm program. Background technique [0002] Cryptographic algorithms (Cryptographic algorithms), as the basis of security mechanisms, have been widely used in embedded devices, smart cards, Internet of Things and other systems to protect data security. The security of cryptographic algorithms is usually based on the fact that attackers can only access the input and output of the system, but cannot obtain the key in the encryption algorithm. But in real life, the attacker can use the physical information of the system to crack the key, such as the time, power consumption, electromagnetic radiation and other information when the cryptographic algorithm program is running. Such attacks are called side-channel attacks (Side-channel attacks), which exploit the statistical dependence between these physical information and the encryption key...

AI Technical Summary

Problems solved by technology

The proof method based on type deduction has the advantages of speed and reasonable results, but it is not complete, so there will be many false positives

The method based on model counting and solving has the characteristics of reasonable and complete results, and there is no possibility of false positives, but there is a problem of insufficient performance, and it is impossible to quickly prove and test the actual cryptographic algorithm program

Images