English  简体中文
搜索   
首页 中心概况 新闻动态 科研成果 研究队伍 技术园地 公共信息 联系我们

学术报告-Automatic security evaluation of block ciphers using constraint programming


2017-05-04        撰稿人: 魏子豪


报告人:David Gerault

时间:201755日上午1000

地点:中国科学院信息工程研究所4号楼4213会议室

摘要:

Evaluating the security of a block cipher is a difficult and time consuming task, so efficient automatic tools are highly desirable. Constraint programming (CP) is a declarative programming paradigm which generalizes other automatic search methods such as MILP or SAT. In this talk, he will present some results obtained using CP for cryptanalysis, in particular to search for related key differential characteristics. He will then introduce the tools that we used to obtain these results and give some examples.

评论人:          
lois.local\

DCS 中心 版权所有
地址:北京市海淀区闵庄路甲89号 4号楼
联系电话:010-82546536 010-82546537
京ICP备05046059号