Project

General

Profile

Overview

Attacking block cipher with SAT solver

Members

Manager: Tobias Paxian

Leading Developer: Bernd Becker