An efficient SAT-based algorithm for finding short cycles in cryptographic algorithms | IEEE Conference Publication | IEEE Xplore