Code

Feat/division property#274

Code

Merged

peacker merged 89 commits intodevelopCrypto-TII/claasp:developfrom feat/division_propertyCrypto-TII/claasp:feat/division_propertyCopy head branch name to clipboardSep 24, 2024

+840-14

Commits

Commits on Sep 15, 2023

• milp sbox modeling of ascon

  SiMohamedRachidi

  committed
  223703d

  Copy full SHA for 223703d

Commits on Sep 28, 2023

• switch from MixedIntegerLinearProgram to gurobipy

  SiMohamedRachidi

  committed
  237d0c5

  Copy full SHA for 237d0c5

Commits on Nov 20, 2023

• finalize search of anf/superpoly on ascon

  SiMohamedRachidi

  committed
  6041e11

  Copy full SHA for 6041e11

• add 3 differents models for ascon division property

  SiMohamedRachidi

  committed
  caf160b

  Copy full SHA for caf160b

Commits on Jan 11, 2024

• start generic division trail search

  SiMohamedRachidi

  committed
  8f9fe5c

  Copy full SHA for 8f9fe5c

Commits on Jan 18, 2024

• sbox modelling done

  SiMohamedRachidi

  committed
  95941f1

  Copy full SHA for 95941f1

Commits on Jan 19, 2024

• xor modelling added

  SiMohamedRachidi

  committed
  60adb7a

  Copy full SHA for 60adb7a

• rotate modelling added

  SiMohamedRachidi

  committed
  4557cbd

  Copy full SHA for 4557cbd

• Change input_vars of sbox modelling. Cipher output modelling added

  SiMohamedRachidi

  committed
  397739c

  Copy full SHA for 397739c

• implement solve_constraints()

  SiMohamedRachidi

  committed
  806d309

  Copy full SHA for 806d309

Commits on Jan 24, 2024

• debug sbox modelling in progress

  SiMohamedRachidi

  committed
  821beb6

  Copy full SHA for 821beb6

• module is working for the 5 first components of toy_cipher

  SiMohamedRachidi

  committed
  0d32da3

  Copy full SHA for 0d32da3

• works for 1 round toy cipher. Pretty_print added

  SiMohamedRachidi

  committed
  f08dd7c

  Copy full SHA for f08dd7c

Commits on Jan 25, 2024

• generalizing pretty_print

  SiMohamedRachidi

  committed
  3a08f82

  Copy full SHA for 3a08f82

• anfs for toy1_r1 are correct, still need to check for toy1_r2

  SiMohamedRachidi

  committed
  7038a4d

  Copy full SHA for 7038a4d

Commits on Jan 26, 2024

• add check_presence_monomial()

  SiMohamedRachidi

  committed
  05b4fea

  Copy full SHA for 05b4fea

Commits on Jan 29, 2024

• anfs are matching with Sharwan's code for toyspn1

  SiMohamedRachidi

  committed
  0245f25

  Copy full SHA for 0245f25

Commits on Feb 5, 2024

• Fix and_constraints. Fix pretty_print

  SiMohamedRachidi

  committed
  991eb3f

  Copy full SHA for 991eb3f

Commits on Feb 7, 2024

• toyspn1 works with the new approach for generating variables

  SiMohamedRachidi

  committed
  fdfa26d

  Copy full SHA for fdfa26d

• works for toyspn1_r2 and toysimon

  SiMohamedRachidi

  committed
  870d93f

  Copy full SHA for 870d93f

Commits on Feb 9, 2024

• works for toyspn1_r2, toysimon, toyconstant, toynot

  SiMohamedRachidi

  committed
  ec7635b

  Copy full SHA for ec7635b

Commits on Feb 12, 2024

• fix issue with indexes in get_where_component_is_used(), now the model for AsconSboxSigmaNoMatrixPermutation is giving anfs but some monomials are wrong

  SiMohamedRachidi

  committed
  ea29819

  Copy full SHA for ea29819

Commits on Feb 14, 2024

• works for ascon sbox version 1 round

  SiMohamedRachidi

  committed
  481d757

  Copy full SHA for 481d757

Commits on Feb 16, 2024

• works for ascon circuit version

  SiMohamedRachidi

  committed
  e752f91

  Copy full SHA for e752f91

Commits on Feb 19, 2024

• ascon circuit version matches with ascon sbox version

  SiMohamedRachidi

  committed
  e7a3399

  Copy full SHA for e7a3399

Commits on Mar 1, 2024

• gaston circuit matches with gaston sbox. Adding degree search methods

  SiMohamedRachidi

  committed
  8061066

  Copy full SHA for 8061066

Commits on Mar 4, 2024

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  edf6883

  Copy full SHA for edf6883

Commits on Mar 8, 2024

• adding use of threads

  SiMohamedRachidi

  committed
  2f3e757

  Copy full SHA for 2f3e757

Commits on Mar 11, 2024

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  2e20aea

  Copy full SHA for 2e20aea

• add fixed_degree parameter

  SiMohamedRachidi

  committed
  7405d6f

  Copy full SHA for 7405d6f

Commits on May 23, 2024

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  103e05e

  Copy full SHA for 103e05e

Commits on Jun 5, 2024

• modadd model is working fine

  SiMohamedRachidi

  committed
  e89bbe4

  Copy full SHA for e89bbe4

Commits on Jun 7, 2024

• speck 1 round is working fine up to xor_0_4 included

  SiMohamedRachidi

  committed
  7162261

  Copy full SHA for 7162261

Commits on Jul 23, 2024

• division trail for Simon is working with the new predecessors approach

  SiMohamedRachidi

  committed
  9cb170e

  Copy full SHA for 9cb170e

Commits on Jul 25, 2024

• Simon 2 rounds still working. Spotted an issue generated by input_bit_positions that are not splitted for xor_0_2 in Ascon.

  SiMohamedRachidi

  committed
  7cae4a8

  Copy full SHA for 7cae4a8

• Simon and Speck 2 rounds are working. Still the issue generated by input_bit_positions that are not splitted for xor_0_2 in Ascon.

  SiMohamedRachidi

  committed
  c72965d

  Copy full SHA for c72965d

Commits on Jul 26, 2024

• Add note on Speck 2 round. At this stage, working for Simon and Speck

  SiMohamedRachidi

  committed
  86296a6

  Copy full SHA for 86296a6

• start refactoring the way of creating gurobi variables

  SiMohamedRachidi

  committed
  b360dde

  Copy full SHA for b360dde

Commits on Jul 27, 2024

• get the correct numbers of solutions for ascon with the new refactor. Still need to refactor pretty_print

  SiMohamedRachidi

  committed
  1cfae16

  Copy full SHA for 1cfae16

Commits on Jul 29, 2024

• Simon is working with the new refactoring

  SiMohamedRachidi

  committed
  c6ad086

  Copy full SHA for c6ad086

• New refactoring is working for Speck_2r, Simon_2r and Ascon_1_r, those have been checked by hand

  SiMohamedRachidi

  committed
  acd4da6

  Copy full SHA for acd4da6

Commits on Jul 30, 2024

• New refactoring is working for Speck_2r, Simon_2r and Ascon_1r = Ascon_1r_with_sbox, those have been checked by hand.

  SiMohamedRachidi

  committed
  eb5b7e4

  Copy full SHA for eb5b7e4

Commits on Aug 5, 2024

• fix issue with unused variables. Works for Speck_2r, Simon_2r and Ascon_1r, Ascon_1r_with_sbox(y0,y64,y128,y192 but not y256)

  SiMohamedRachidi

  committed
  2a97b34

  Copy full SHA for 2a97b34

Commits on Aug 6, 2024

• Works for Speck_2r, Simon_2r and Ascon_1r_circuit = Ascon_1r_sbox for (y0,y64,y128,y192,y256)

  SiMohamedRachidi

  committed
  57027af

  Copy full SHA for 57027af

• Works for Speck, Simon, Ascon_circuit, Gaston_circuit. For sbox version, sage gives sometimes anfs by mixing lsb, msb

  SiMohamedRachidi

  committed
  3b37581

  Copy full SHA for 3b37581

• Works for Speck_2r, Simon_2r, Ascon_1r_circuit = Ascon_1r_sbox for (y0,y64,y128,y192,y256)=I, Gaston_1r_circuit gives same number of monomials than Gaston_1r_sbox for I

  SiMohamedRachidi

  committed
  4a85e2a

  Copy full SHA for 4a85e2a

Commits on Aug 7, 2024

• Take into account intermediate_output, needed in LBlock

  SiMohamedRachidi

  committed
  6eb4014

  Copy full SHA for 6eb4014

Commits on Aug 9, 2024

• works at least for speck, simon, ascon, gaston, xoodoo, keccak, lblock

  SiMohamedRachidi

  committed
  dd91b66

  Copy full SHA for dd91b66

Commits on Aug 12, 2024

• polishing code and refactoring of check_presence_of_particular_monomial_in_specific_anf()

  SiMohamedRachidi

  committed
  e837001

  Copy full SHA for e837001

• refactor degree search methods

  SiMohamedRachidi

  committed
  b1be2ac

  Copy full SHA for b1be2ac

Commits on Aug 13, 2024

• fix issue with intermediate_output constraints

  SiMohamedRachidi

  committed
  f51e406

  Copy full SHA for f51e406

Commits on Aug 19, 2024

• number of monomials found for 2 rounds Ascon for y0,y64,y128,y192,y256 match with sharwan script

  SiMohamedRachidi

  committed
  959d587

  Copy full SHA for 959d587

Commits on Aug 23, 2024

• improve speed by a better use of rot and intermediate_output variables

  SiMohamedRachidi

  committed
  487aa8f

  Copy full SHA for 487aa8f

• get back to working version for all commented ciphers before speed improvement

  SiMohamedRachidi

  committed
  b03c101

  Copy full SHA for b03c101

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  e4178e6

  Copy full SHA for e4178e6

Commits on Aug 29, 2024

• polish code

  SiMohamedRachidi

  committed
  b34fadf

  Copy full SHA for b34fadf

• adding unit tests

  SiMohamedRachidi

  committed
  c8d3315

  Copy full SHA for c8d3315

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  e6ec1f5

  Copy full SHA for e6ec1f5

Commits on Aug 30, 2024

• remove unused files

  SiMohamedRachidi

  committed
  1af0c24

  Copy full SHA for 1af0c24

Commits on Aug 31, 2024

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  bc80fd4

  Copy full SHA for bc80fd4

• fix doctests

  SiMohamedRachidi

  committed
  0b66127

  Copy full SHA for 0b66127

• fix doctests

  SiMohamedRachidi

  committed
  4e38773

  Copy full SHA for 4e38773

Commits on Sep 2, 2024

• fix duplicated code

  SiMohamedRachidi

  committed
  92cd670

  Copy full SHA for 92cd670

Commits on Sep 14, 2024

• FEATURE/Refactor: speed improvement on the division trail search module

  SiMohamedRachidi

  committed
  e52ed22

  Copy full SHA for e52ed22

Commits on Sep 16, 2024

• FEATURE/Add: add a way to choose a component as cipher_output

  SiMohamedRachidi

  committed
  e2ede32

  Copy full SHA for e2ede32

Commits on Sep 18, 2024

• FEATURE/Add: add commands to use gurobi in github server

  SiMohamedRachidi

  committed
  bece983

  Copy full SHA for bece983

• polish doctests

  SiMohamedRachidi

  committed
  3ca699f

  Copy full SHA for 3ca699f

Commits on Sep 19, 2024

• change doctests

  SiMohamedRachidi

  committed
  ad5407b

  Copy full SHA for ad5407b

• Merge branch 'develop' into feat/division_property

  SiMohamedRachidi

  committed
  7bb8cb5

  Copy full SHA for 7bb8cb5

• polish code

  SiMohamedRachidi

  committed
  10e5226

  Copy full SHA for 10e5226

• fix doctests

  SiMohamedRachidi

  committed
  8c0d87d

  Copy full SHA for 8c0d87d

• fix doctests

  SiMohamedRachidi

  committed
  cf8f1d3

  Copy full SHA for cf8f1d3

Commits on Sep 20, 2024

• add pytests

  SiMohamedRachidi

  committed
  976a3ea

  Copy full SHA for 976a3ea

• make the workflow runs on epyc

  SiMohamedRachidi

  committed
  bc59b0a

  Copy full SHA for bc59b0a

• Using EPYC runner for workflow

  sharathvutpala

  authored
  275c181

  Copy full SHA for 275c181

• Merge remote-tracking branch 'origin/feat/division_property' into feat/division_property

  SiMohamedRachidi

  committed
  a8f90ce

  Copy full SHA for a8f90ce

• Changed runner label back to self-hosted

  sharathvutpala

  authored
  4bfb712

  Copy full SHA for 4bfb712

• Merge remote-tracking branch 'origin/feat/division_property' into feat/division_property

  SiMohamedRachidi

  committed
  cb85442

  Copy full SHA for cb85442

• add env var in the workflow

  SiMohamedRachidi

  committed
  01b1328

  Copy full SHA for 01b1328

• Adding secret GUROBI_COMPUTE_SERVER

  juaninf

  committed
  70fd248

  Copy full SHA for 70fd248

• Merge branch 'feat/division_property' of github.com:Crypto-TII/claasp into feat/division_property

  juaninf

  committed
  bc75eba

  Copy full SHA for bc75eba

• Merge remote-tracking branch 'origin/feat/division_property' into feat/division_property

  SiMohamedRachidi

  committed
  14ebd52

  Copy full SHA for 14ebd52

• Adding secret GUROBI_COMPUTE_SERVER

  juaninf

  committed
  92677cc

  Copy full SHA for 92677cc

• Merge remote-tracking branch 'origin/feat/division_property' into feat/division_property

  SiMohamedRachidi

  committed
  0219925

  Copy full SHA for 0219925

• remove doctest

  SiMohamedRachidi

  committed
  8133a23

  Copy full SHA for 8133a23

Commits on Sep 21, 2024

• modify doctests

  SiMohamedRachidi

  committed
  6404e28

  Copy full SHA for 6404e28

Commits on Sep 23, 2024

• remove random doctest result from pprint_dictionary()

  SiMohamedRachidi

  committed
  abd1ad7

  Copy full SHA for abd1ad7

• add more pytests for the coverage

  SiMohamedRachidi

  committed
  13a86a0

  Copy full SHA for 13a86a0

• fix pytests

  SiMohamedRachidi

  committed
  f82fba9

  Copy full SHA for f82fba9