strategies on algebraic attacks using sat solvers

	strategies on algebraic attacks using sat solvers
	Chen Baiqiang
	2008
会议名称	9th International Conference for Young Computer Scientists
会议录名称	Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008
页码	2204-2209
会议日期	NOV 18-21,
会议地点	Zhangjiajie, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5
ISBN	978-1-4244-4198-3
部门归属	Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China.
摘要	SAT solvers are employed in algebraic attacks to stream ciphers in recent years. This attack describes a cipher by a boolean equation system in the initial state, and then converts the equation system into a SAT instance. After that, attackers
关键词	Strean Ciphers Algebraic Attacks Sat Solvers Strategies Bivium
主办者	China Computer Federation
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10562
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen Baiqiang. strategies on algebraic attacks using sat solvers[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5,2008:2204-2209.