Details for the publication SunSCC24.

Pu Sun, Fu Song (), Yuqi Chen, Taolue Chen (): EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. In Proc. ACM Program. Lang. 8(POPL):848-881, 2024. DOI BIB