Code obfuscation is widely used by software developers to protect intellectual property, and
malware writers to hamper program analysis. However, there seems to be little work on …

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 …

The Asirra CAPTCHA [EDHS2007], proposed at ACM CCS 2007, relies on the problem of
distinguishing images of cats and dogs (a task that humans are very good at). The security of …

In spite of growing importance of the Advanced Encryption Standard (AES), the Data
Encryption Standard (DES) is by no means obsolete. DES has never been broken from the …

Grover's algorithm is one of the primary algorithms offered as evidence that quantum
computers can provide an advantage over classical computers. It involves an …

In 1993, NIST published the first Secure Hash Standard SHA-0, which two years later was
superseded by SHA-1 to improve the original design. SHA-1 was still deemed secure by the …

Modern conflict-driven clause-learning SAT solvers routinely solve large real-world
instances with millions of clauses and variables in them. Their success crucially depends on …

The SHA-2 family including SHA-224, SHA-256, SHA-384, SHA-512, SHA-512/224 and
SHA512/256 is a US federal standard published by NIST. Especially, there is no doubt that …

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 …

KeeLoq is a block cipher used in wireless devices that unlock the doors and alarms in cars
manufactured by Chrysler, Daewoo, Fiat, GM, Honda, Jaguar, Toyota, Volvo, Volkswagen …