...

CryptoMiniSat --

...

A Rough Guide

In this presentation we give a brief overview of cryptography and show how and why SAT solvers are an important tool in this field. We approach SAT solvers from a particular angle that allows us to make use of SAT solvers in ways that is not readily apparent if approached from the typical resolution-engine viewpoint. The presentation will first describe this particular angle, then show how it can be used to break and analyse cryptographic primitives, and finally show some real-world examples to crypto-primitives that have been seriously compromised through of such attacksCryptoMiniSat: the underlying ideas, the architecture, and future work. CryptoMiniSat won the SAT Race of 2010, but no comprehensive description of it has been available either on-line or in printed form. In this presentation we try to partially fill this gap.

Mate Soos, Security Research Labs

...