EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pu Sun, Fu Song, Yuqi Chen, Taolue Chen. EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proceedings of the ACM on Programming Languages, 8(POPL):848-881, January 2024. [doi]

This author has not been identified. Look up 'Pu Sun' in GoogleThis author has not been identified. Look up 'Fu Song' in GoogleThis author has not been identified. Look up 'Yuqi Chen' in GoogleThis author has not been identified. Look up 'Taolue Chen' in Google

runs on WebDSL