搜索结果: 1-2 共查到“军事学 Boolean Satisfiability”相关记录2条 . 查询时间(0.042 秒)
Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability
Hardware Trojans Genetic Algorithm Boolean Satisfiability
2016/1/26
Test generation for Hardware Trojan Horses (HTH) detection
is extremely challenging, as Trojans are designed to be triggered by
very rare logic conditions at internal nodes of the circuit. In this p...
An Algebraic Analysis of Trivium Ciphers based on the Boolean Satisfiability Problem
Algebraic Analysis Boolean Satisfiability Trivium
2008/9/4
Trivium is a stream cipher candidate of the eStream project.
It has successfully moved into phase three of the selection process un-
der the hardware category. No attacks faster than the exhaustive ...