Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers
Firstly,the differences and linear masks propagation equations of ARX ciphers were established.Secondly,the propagation equations were solved by SAT solver and judged valid or not.Finally,differences and linear masks were traversed to search impossible differentials and zero-correlation linear hulls...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
POSTS&TELECOM PRESS Co., LTD
2017-07-01
|
| Series: | 网络与信息安全学报 |
| Subjects: | |
| Online Access: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00175 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841530184469053440 |
|---|---|
| author | Ya HAN |
| author_facet | Ya HAN |
| author_sort | Ya HAN |
| collection | DOAJ |
| description | Firstly,the differences and linear masks propagation equations of ARX ciphers were established.Secondly,the propagation equations were solved by SAT solver and judged valid or not.Finally,differences and linear masks were traversed to search impossible differentials and zero-correlation linear hulls automatically.The proposed algorithm was applied to TEA,XTEA and SIMON family block ciphers.The optimal impossible differentials and zero-correlation linear hulls for TEA,XTEA and SIMON family block ciphers were proposed.Moreover，with DDT and LAT,the algorithm can also be applied to search the impossible differentials and zero-correlation linear hulls of S-box based block ciphers. |
| format | Article |
| id | doaj-art-01fa7936419e467e83a892eeb69ebc6c |
| institution | Kabale University |
| issn | 2096-109X |
| language | English |
| publishDate | 2017-07-01 |
| publisher | POSTS&TELECOM PRESS Co., LTD |
| record_format | Article |
| series | 网络与信息安全学报 |
| spelling | doaj-art-01fa7936419e467e83a892eeb69ebc6c2025-01-15T03:05:56ZengPOSTS&TELECOM PRESS Co., LTD网络与信息安全学报2096-109X2017-07-013586359551030Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphersYa HANFirstly,the differences and linear masks propagation equations of ARX ciphers were established.Secondly,the propagation equations were solved by SAT solver and judged valid or not.Finally,differences and linear masks were traversed to search impossible differentials and zero-correlation linear hulls automatically.The proposed algorithm was applied to TEA,XTEA and SIMON family block ciphers.The optimal impossible differentials and zero-correlation linear hulls for TEA,XTEA and SIMON family block ciphers were proposed.Moreover，with DDT and LAT,the algorithm can also be applied to search the impossible differentials and zero-correlation linear hulls of S-box based block ciphers.http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00175impossible differentialzero-correlation linear hullARX structureSAT solver |
| spellingShingle | Ya HAN Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers 网络与信息安全学报 impossible differential zero-correlation linear hull ARX structure SAT solver |
| title | Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers |
| title_full | Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers |
| title_fullStr | Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers |
| title_full_unstemmed | Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers |
| title_short | Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers |
| title_sort | automatic method for searching impossible differentials and zero correlation linear hulls of arx block ciphers |
| topic | impossible differential zero-correlation linear hull ARX structure SAT solver |
| url | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00175 |
| work_keys_str_mv | AT yahan automaticmethodforsearchingimpossibledifferentialsandzerocorrelationlinearhullsofarxblockciphers |