GitHub CreateEvent at 2014-02-27 05:40:00
Repository: sat_solver_in_cryptanalysis
Actor: prokls
Payload: ref_type: repository
master_branch: master
description: Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Cryptanalysis"
pusher_type: user