SAT-Based Cryptanalysis of Salsa20 Cipher. - Sylwia Stachowiak; Miroslaw Kurkowski; Artur Sobon (CORES/IP&C/ACS, 2021)

SAT vs. Substitution Boxes of DES like Ciphers. - Sylwia Stachowiak; Miroslaw Kurkowski; Artur Sobon (WETICE, 2021)