The Method of Searching for Differential Trails of ARX-based Block Cipher Cypress | IEEE Conference Publication | IEEE Xplore