原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
a sat-based preimage analysis of reduced keccak hash functions：一个坐在降低keccak杂凑函数的原像分析
Information Processing Letters 113 (2013) 392–397
Contents lists available at SciVerse ScienceDirect
Information Processing Letters
/locate/ipl
A SAT-based preimage analysis of reduced Keccak hash
functions
Paweł Morawiecki a,b,∗,1, Marian Srebrny a,b
a Kielce University of Commerce, ul. Peryferyjna 15, 25-562 Kielce, Poland
b Institute of Computer Science, Polish Academy of Sciences, ul. Ordona 21, 01-237 Warsaw, Poland
a r t i c l e i n f o a b s t r a c t
Article history: In this paper, we present a preimage attack on reduced versions of Keccak hash functions.
Received 22 December 2011 We use our recently developed toolkit CryptLogVer for generating the conjunctive normal
Received in revised form 15 November 2012 form, CNF, which is passed to the SAT solver PrecoSAT. We found preimages for some
Accepted 8 March 2013 reduced versions of the function and showed that full Keccak function has a comfortable
Available online 20 March 2013
security margin against this kind of attack.
Communicated by A. Tarlecki
© 2013 Elsevier B.V. All rights reserved.
Keywords:
Cryptography
Hash functions
Keccak
Algebraic cryptanalysis
Logical cryptanalysis
SAT solvers
1. Introduction The most widely used hash function is SHA-1. In [1] se-
您可能关注的文档
- a practical cost-effective management strategy for gallstone pancreatitis：胆源性胰腺炎的一种实用的成本管理策略.pdf
- a practical fair queuing scheduler simplification through quantization：一种实用的公平队列调度简化通过量化.pdf
- a practical method for friction identification in hydraulic actuators：一种实用的液压作动器摩擦识别方法.pdf
- a practical approach in the cfd simulation of off-shore wind farms through the actuator disc technique：通过动盘技术在风电场离岸风场模拟中的应用.pdf
- a predictable hardware to exploit temporal reuse in real-time and embedded systems：一种可预测的硬件，利用实时和嵌入式系统中的时间复用.pdf
- a predictive model for mortality of bloodstream infections bedside analysis with the weibull function：一种预测模型，用于临床死亡的血流感染，床边分析与韦伯函数.pdf
- a predictive model to identify patients with suspected acute coronary syndromes at high risk of cardiac arrest or in-hospital mortality an immediate trial sub-study：预测模型，确定疑似急性冠脉综合征患者在高风险的心脏骤停或住院死亡率立即尝试研究.pdf
- a preemptive priority queue with general bulk service and heterogeneous arrivals：具有一般大批量业务和非均匀来港的优先队列.pdf
- a preemptive resume queue with an expiry time for retained service：一种以过期时间为保留服务的优先恢复队列.pdf
- a preemptive discrete-time priority buffer system with partial buffer sharing：带有部分缓冲区共享的抢占式离散时间优先级缓冲系统.pdf
- a scalable algorithm for the market basket analysis：一种可扩展的市场篮分析算法.pdf
- a salmonella enterica conjugative plasmid impairs autophagic flux in infected macrophages：一个沙门氏菌接合质粒对自噬通量在感染的巨噬细胞.pdf
- a scalable design for vlsi dictionary machines：超大规模集成电路字典机的可扩展设计.pdf
- a scalable and dynamic application-level secure communication framework for inter-cloud services：一种可扩展的、动态的应用级安全通信框架，用于跨云服务.pdf
- a scalable thread scheduling co-processor based on data-flow principles：一种基于数据流原理的可伸缩线程调度协处理器.pdf
- a scalable and reconfigurable priority queue architecture for atm switches：一种可扩展的和可重构的优先级队列架构的自动取款机交换机.pdf
- a scalable parallel genetic algorithm for the generalized assignment problem：一种可扩展并行遗传算法的广义指派问题.pdf
- a satellite-based hybrid algorithm to determine the priestley–taylor parameter for global terrestrial latent heat flux estimation across multiple biomes：基于卫星的混合算法来确定全球地面潜热通量估计在多个生物群落的普莱斯利–泰勒参数.pdf
- a scheme for a terahertz traveling-wave amplifier working with the te11 mode in a circular waveguide：一种太赫兹行波放大器在圆波导te11模式工作方案.pdf
- a score for predicting paroxysmal atrial fibrillation in acute stroke patients ipab score：对急性脑卒中患者阵发性心房颤动的ipab评分评分预测.pdf
文档评论（0）