搜索结果: 1-5 共查到“密码学 SAT solvers”相关记录5条 . 查询时间(0.029 秒)
Optimizing S-box Implementations for Several Criteria using SAT Solvers
S-box SAT solvers implementation optimization
2016/2/25
We explore the feasibility of applying SAT solvers to optimizing
implementations of small functions such as S-boxes for multiple
optimization criteria, e.g., the number of nonlinear gates and the nu...
RSA private key reconstruction from random bits using SAT solvers
SAT solvers RSA partial key exposure factoring public-key cryptography
2013/2/21
SAT solvers are being used more and more in Cryptanalysis, with mixed results regarding their efficiency, depending on the structure of the algorithm they are applied. However, when it comes to intege...
Applications of SAT Solvers to AES key Recovery from Decayed Key Schedule Images
Cold-boot attacks decayed memory SAT solvers
2010/7/13
Cold boot attack is a side channel attack which exploits the data remanence property of random access memory (RAM) to retrieve its contents which remain readable shortly after its power has been remov...
Applications of SAT Solvers to Cryptanalysis of Hash Functions
SAT Cryptanalysis hash functions
2008/12/9
Several standard cryptographic hash functions were broken in 2005. Some essential building
blocks of these attacks lend themselves well to automation by encoding them as CNF formulas,
which are with...
Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers
Algebraic Cryptanalysis logical cryptanalysis SAT solvers MQ
2008/9/18
The computational hardness of solving large systems of sparse and low-degree multivariate equations is a necessary condition for the security of most modern symmetric cryptographic schemes.Notably, mo...