Research on constructing integral distinguishers for block ciphers via the division property | Synapse