搜索结果: 1-2 共查到“SAT-based cryptanalysis”相关记录2条 . 查询时间(0.093 秒)
SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition
SAT solvers SAT-based cryptanalysis logic cryptanalysis
2016/12/7
We investigate six authenticated encryption schemes (ACORN, ASCON-128a, Ketje
Jr, ICEPOLE-128a, MORUS, and NORX-32) from the CAESAR competition. We
aim at state recovery attacks using a SAT solver a...
SAT-based cryptanalysis of ACORN
SAT-based cryptanalysis CAESAR competition Authenticated encryption
2016/5/30
The CAESAR competition aims to provide a portfolio of authenticated encryption algorithms.
SAT solvers represent powerful tools to verify automatically and efficiently (among others) the
confidentia...