An Abstraction Model for 1-bit Probing Attack on Block Ciphers | IEEE Conference Publication | IEEE Xplore