共 50 条
- [31] EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [33] Provable security against impossible differential and zero correlation linear cryptanalysis of some feistel structures Designs, Codes and Cryptography, 2019, 87 : 2683 - 2700
- [36] Linear Cryptanalysis Against Block Ciphered System Under Noisy Ciphertexts 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2012, : 856 - 861
- [38] Practical security against linear cryptanalysis for SMS4-like ciphers with SP round function Science China Information Sciences, 2012, 55 : 2161 - 2170
- [39] Linear Equivalence of Block Ciphers with Partial Non-Linear Layers: Application to LowMC ADVANCES IN CRYPTOLOGY - EUROCRYPT 2019, PT I, 2019, 11476 : 343 - 372