CryptoMiniSat -- A Rough Guide

In this presentation we give a brief overview of CryptoMiniSat: 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

Mate Soos is a cryptographer specializing in analysing cryptographic primitives using SAT solvers. Mate graduated from Budapest's University for Technology and Economics (BUTE) in 2006 and finished his PhD in 2009 from INRIA, Grenoble. He is currently working at Security Research Labs.