 Hi, I will talk about our work, Man and the Techie's schedule, correct analysis on Skinny E 64256, this is a joint work with Xiao Yang Dong, An Yu Wang, Jia Lianghua and Xiao Yun Wang. Skinny is a family of led with Cipher, following the Techie framework and STK construction. There are six variations due to different N and Z, then Skinny E 64256 extends the design to support the 256-bit Techie for the TF-friendly AE modes. It applies the same run function but a new Techie schedule. However, the security climb may not hold due to the new Techie schedule. In response, the authors proposed an updated vision tool. We first give a formal analysis of relations of the sub-Techies to clarify the properties of the new Techie schedule. In the Techie schedule of Skinny E 64256, the sales of the Techie are updated by implementation P and for different LFSR. Since the Techie schedule is linear, we can drive the sub-Techies from the same cell of the master key as a system of linear equations, where Li is 4 times 4 binary metrics correspond to each LFSR. The rank of the coefficients matrix A is our most constant. We find some A corresponding to different indexes have the same rank, so we introduce the rank equivalent property and define the rank equivalence classes. We find when T is greater than or equal to 4, certain sets of index will lead to non-form rank coefficient metrics. Then we count all different rank equivalence classes of non-form rank. In Skinny E 64256, the non-form rank properties can lead to more sub-Techie difference consolations than expected. When the matrix is 4 rank, the size of its counter space is 1. Then the master key difference has only zero solution. When the matrix is non-form rank, the master key difference have non-zero solutions, which means the sub-Techie difference consolations can happen. So using all the non-form rank equivalence classes in the upper table, we summarize several difference consolation behaviors. We take Dome Details automatic model, adding the difference consolation behaviors, and searching the whole rectangle attack. In the 30-round distribution we found, there are 8 consolations every 30 rounds. Then we give a 14-round rectangle attack. When summarizing the correct analytic results on Skinny 64 and compare with ours, our correct analysis proves that Skinny E 64256 doesn't keep a similar security marking as expected by the designers. In addition, we also analyzed the updated version 2. The attacted rounds keep the same rate as expected by the designer. We propose a uniformed design strategy for Techie's schedule of Skinny NZN for positive integer Z less than or equal to 14 to satisfy the sub-Techie difference consolations property. The coefficient matrix should satisfy the block MDS property. Our construction is an extension of the generated matrix of the RIS codes. We set L1 to the identity matrix and choose the LI to be the consecutive provost of a matrix L. When L satisfies a specific property, for example, L is a companion matrix of a primitive polynomial. We can give a proposition to guarantee the block MDS property. Thanks for your attention.