STP models of optimal differential and linear trail for S-box based ciphers. - Yu Liu; Huicong Liang; Muzhou Li; Luning Huang; Kai Hu 001; Chenhe Yang; Meiqin Wang (Sci. China Inf. Sci., 2021)