Ticket #681 (closed enhancement: fixed)

Opened 3 years ago

Last modified 3 years ago

[with patch] new MQ submodule for sage.crypto

Reported by: malb Owned by: was
Priority: major Milestone: sage-2.8.5
Component: algebraic geometry Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description

The attached patch implements a MPolynomialSystem, a MPolynomialSystemGenerator class, and as a generator for small scale AES variants.

MPolynomialSystem is supposed to model multivariate polynomial systems as they appear in e.g. algebraic cryptanalysis. The implemented design is as follows: There is a class MPolynomialSystem which models the actual polynomial system. This class contains a list of MPolynomialRoundSystems to model the rounds of a cipher to add some structure. MPolynomialSystem is furthermore specialised to MPolynomialSystem_gf2[e] classes which have additional features. E.g. systems over GF(2^e) can be projected down to GF(2) and systems over GF(2) may eventually contain rountines for ANF-CNF conversion.

Also there is a class called MPolynomialSystemGenerator which is meant as a base class for specific generators for polynomial systems like AES or the Courtois Toy Cipher (CTC).

The patch also contains a generator for polynomial systems for small scale AES variants (SR) over GF(2) and GF(2^e) as introduced in  http://www.isg.rhul.ac.uk/~sean/smallAES-fse05.pdf .

Attachments

mq.patch Download (85.6 KB) - added by malb 3 years ago.
mq-change_ring-bugfix.patch Download (2.0 KB) - added by malb 3 years ago.

Change History

Changed 3 years ago by malb

Changed 3 years ago by malb

Great, first bugfix already. See second attachment.

Changed 3 years ago by malb

Changed 3 years ago by mhansen

  • summary changed from new MQ submodule for sage.crypto [with patch] to [with patch] new MQ submodule for sage.crypto

Changed 3 years ago by was

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.