LoPher: SAT-Hardened Logic Embedding on Block Ciphers | IEEE Conference Publication | IEEE Xplore