Monthly Archives: July 2010

Welcome to ECRYPT II Tools for Cryptography

This website contains a collection of tools related to cryptography. See the overview page for a list of all tools. The about page contains more information on this initiative, and instructions for submitting your own tool. Recently added tools are … Continue reading

Posted in Info | Comments Off

SYMAES

A Fully Symbolic Polynomial System Generator for AES-128 Authors: Vesselin Velichkov, Vincent Rijmen, Bart Preneel Download: http://www.ecrypt.eu.org/tools/uploads/symaes-v1.1.tgz Documentation: http://www.cosic.esat.kuleuven.be/publications/article-1476.pdf SYMAES is a software tool that generates a system of polynomials in GF(2), corresponding to the round transformation and key schedule … Continue reading

Posted in Tools | Comments Off

Tools for Algebraic Cryptanalysis

Tools for the algebraic cryptanalysis of cryptographic primitives Author: Martin Albrecht Download: http://bitbucket.org/malb/algebraic_attacks Documentation: Algebraic cryptanalysis of cryptographic primitives such as block ciphers, stream ciphers and hash functions usually proceeds in two steps. (A) The algorithm is expressed as a … Continue reading

Posted in Tools | Comments Off

Hybrid Approach

Hybrid Approach for Solving Multivariate Polynomial Systems over Finite Fields Authors: Luk Bettale, Jean-Charles Faugère, Ludovic Perret Website: http://www-polsys.lip6.fr/~bettale/hybrid/ The Hybrid Approach is an improved approach to solve multivariate systems over finite fields. Our approach is a tradeoff between exhaustive … Continue reading

Posted in Tools | Comments Off

Grain of Salt

An automated way to test stream ciphers through SAT solvers Author: Mate Soos Website: http://planete.inrialpes.fr/~soos/GrainOfSalt/ Grain of Salt is a tool developed to automatically test stream ciphers against standard SAT solver-based attacks. The tool takes as input a set of … Continue reading

Posted in Tools | Comments Off

Sage

Free open-source mathematics software system, also containing many modules for cryptography Authors: Multiple Download: http://www.sagemath.org/ Documentation: http://www.sagemath.org/doc/reference/cryptography.html Sage is a free open-source mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a … Continue reading

Posted in Tools | Comments Off

CodingTool Library

Tool for cryptanalysis based on coding theory Author: Tomislav Nad Website: http://www.iaik.tugraz.at/content/research/krypto/codingtool/ The CodingTool library is a new collection of tools to use techniques from coding theory in cryptanalysis. It is completely independent from other libraries and can be used … Continue reading

Posted in Tools | Comments Off

ASCAtoCNF

Simulating Algebraic Side-Channel Attacks (ASCA) Author: Mathieu Renauld Download: ASCAtoCNF.jar Documentation: ASCAtoCNF is a tool that provides the user with a quick way to simulate an ASCA with a data complexity of 1 to 9. The user specifies the target … Continue reading

Posted in Tools | Comments Off