【摘 要】
：
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 expressed as a
【机 构】
：
Key Laboratory of Cryptologic Technology and Information Security,Ministry of Education,Shandong Uni
论文部分内容阅读
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 expressed as a combination of first-order theories.Here,we use the simple theorem prover (STP) SMT solver[1],which is designed to solve constraints involving bit-vectors and arrays;hence,it is suitable for S-box-based ciphers.In this study,we construct STP-based automatic search models for optimal differential and linear trails,which can be used even if a cipher involves a DDT* or LAT*.Here,we call a difference distribution table(DDT) or linear approximation table (LAT) whose entities are not equal to powers of two a DDT* or LAT*,respec-tively.Further,we apply these models to several ciphers,Table 1 compares the resulting differential/linear trails with previous results.
其他文献
The “memory wall” problem or so-called yon Neumann bottleneck limits the efficiency of conven-tional computer architectures,which move data from memory to CPU for computation;these architectures cannot meet the demands of the emerging memory-intensive app
Flash floods present significant heterogeneity over both space and time due to diverse topographic,geomorphologic,and hydro-meteorological conditions of catchments.Accurate identification and simulation of typical flash flood types are of great significan
With advances in Si-based technology infrastructures and the rapid integration of Si-based op-toelectronics,Si-based optoelectronic synaptic devices have the potential to greatly facilitate the large-scale deployment of neuromorphic computing.The incorpor
In traditional von Neumann computing architectures,the essential transfer of data between the processor and memory hierarchies limits the computational efficiency of next-generation system-on-a-chip.The emerging in-memory computing (IMC) approach addresse
Dear editor,rnAs an important mathematical model for the elucidation,analysis,and control of gene regulatory networks (GRNs),logical networks have attracted considerable attention from scientists in numerous fields of study.From a mathematical point of vi
Memristor based computing-in-memory chips have shown the potentials to accelerate deep neural networks with high energy efficiency.Due to the inherent filament-based conductive mechanism of the memristor,the reading and writing noises are hard to eliminat
Dear editor,rnThe fictitious play (FP) was initially proposed by Brown[1]in 1951 as a handy learning rule.The main idea of FP can be described as follows:In a game process,the player who adopts FP assumes that the others choose their strate-gies randomly
Protected satellite communications (SatComs) exhibit specific characteristics such as security,intelligence,anti-jamming,and nuclear disaster survivability.They constitute one of the key research top-ics in modern military communications and have become t
Nowadays,massive open online courses (MOOCs),are at-tracting widespread interest as an alternative education model.Several MOOCs platforms,such as Coursera,edX,and Udacity have been built and they provide low-cost op-portunities for anyone who needs to ac
Dear editor,rnMany emerging non-volatile memories (NVM),such as re-sistive random access memory (RRAM)[1],phase-change memory (PCM)[2],and ferroelectric RAM (FeRAM)[3],together with the conventional flash memory[4,5],have demonstrated their good capabilit