Partly-Pseudo-Linear Cryptanalysis of Reduced-Round SPECK Academic Article uri icon