Research on Automatic Analysis Technology of Cryptographic Algorithm | IEEE Conference Publication | IEEE Xplore