搜索筛选:
搜索耗时4.7561秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：Juan DU,Wei WANG,Muzhou LI,Meiqin WANG,
来源：中国科学：信息科学（英文版） 年份：2022
Dear editor,rnQARMA[1]is a family of hardware-oriented lightweight tweakable block ciphers designed by Avanzi.It contains two versions,which support block sizes of 64 and 128 bits,de-noted by QARMA-64 and QARMA-128,respectively.The structur......
[期刊论文] 作者：Yu LIU,Huicong LIANG,Muzhou LI,Luning HUANG,Kai HU,Chenhe YANG,Meiqin WANG,
来源：中国科学：信息科学（英文版） 年份：2021
Dear editor,rnSAT solvers,based on heuristic algorithms,are used to solve Boolean satisfiability (SAT) problems.Satisfiability mod-ulo theories (SMT) problem is a decision problem concerned with the satisfiability of a logical formula;it is......
相关搜索：
