Algorithmic collision analysis for evaluating cryptographic systems and side-channel attacks | IEEE Conference Publication | IEEE Xplore