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 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 …

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 …

Industrial SAT formula generation is a critical yet challenging task. Existing SAT generation
approaches can hardly simultaneously capture the global structural properties and maintain …

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 …

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 …

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 …

A key characteristic of commonly deployed deep packet inspection (DPI) systems is that they
implement a simplified state machine of the network stack that often differs from that of …