A powerful theory for evaluating block ciphers against integral distinguishers was introduced by Hebborn et al. at ASIACRYPT 2021. To show the integral‐resistance property for a block cipher, their core idea is to construct a full‐rank integral‐resistance matrix. However, their method does not work practically for 5‐round AES due to the large S‐box and complex linear layer. In this paper, we are concerned with the integral‐resistance property of 5‐round AES. By carefully investigating the S‐box and the linear layer of AES, some significant properties about the propagation of the division property on the round function of AES are derived. In particular, with these properties, it is easy to determine the appearance of all maximum‐degree monomials after 5‐round AES encryption on a properly chosen set of key‐patterns. Consequently, a full‐rank integral‐resistance matrix is formed to show that there is no integral distinguisher for five rounds and higher of AES under the assumption of independent round keys. Since it is well known that there is a 4‐round integral distinguisher for AES, our result is tight for AES. As far as we know, this is the first proof for the integral‐resistance property of 5‐round AES.

With the rapid development of Guangzhou's economy and urbanization and the gradual deepening of the urban planning and development system, various types of engineering construction activities have become increasingly frequent, and different degrees of ground subsidence have appeared in some areas of the city.Traditional InSAR technology is greatly affected by terrain residuals when monitoring surface deformation.To improve the accuracy and resolution of the digital elevation model and remove the terrain residual phase is the key to improve the monitoring accuracy of temporally interferometric SAR deformation.Based on the TerraSAR-X and tandem X acquisition of high-precision DEM, this paper proposes a Tandem-assisted sequential interference SAR (permanent scatterer) technology, 21 views of ENVISAT/ASAR data and 56 views sentinels on Pazhou Island in Guangzhou City - 1 The data was processed to obtain high-precision monitoring results of surface subsidence and spatio-temporal evolution of urban areas in the study area.The experimental results show that the DEM extracted by TSX/TDX can significantly improve the accuracy of temporally interferometric synthetic aperture radar, and proves that this method has a good effect and application potential in the monitoring of urban surface subsidence.