Finding efficient distinguishers for cryptographic mappings, with an application to the block cipher TEA | IEEE Conference Publication | IEEE Xplore