Dark Web is one of the most challenging and untraceable mediums adopted by the cyber
criminals, terrorists, and state-sponsored spies to fulfil their illicit motives. Cyber-crimes …

Algebraic Cryptanalysis bridges the gap between a course in cryptography, and being able
to read the cryptanalytic literature. This book is divided into three parts: Part One covers the …

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 …

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 …

In this paper, we present a preimage attack on reduced versions of Keccak hash functions.
We use our recently developed toolkit CryptLogVer for generating the conjunctive normal …

In this paper we propose the technology for constructing propositional encodings of discrete
functions. It is aimed at solving inversion problems of considered functions using state-of-the …

MD4 is a prominent cryptographic hash function proposed in 1990. The full version consists
of 48 steps and produces a hash of size 128 bits given a message of an arbitrary finite size …

In the present paper, we propose a technology for translating algorithmic descriptions of
discrete functions to SAT. The proposed technology is aimed at applications in algebraic …

Untitled Page 1 Page 2 ABSTRACT Title of dissertation: ALGORITHMS FOR SOLVING
LINEAR AND POLYNOMIAL SYSTEMS OF EQUATIONS OVER FINITE FIELDS WITH …

SAT solvers are increasingly being used for cryptanalysis of hash functions and symmetric
encryption schemes. Inspired by this trend, we present MapleCrypt which is a SAT solver …