Construction of Vectorial Boolean Functions with Provable Differential-Linear Uniformity and High Nonlinearity | IEEE Conference Publication | IEEE Xplore