【石榴大讲堂】A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis