A Framework for Global Optimization of Linear Layers in SPN Block Ciphers | IEEE Conference Publication | IEEE Xplore