Code

Simplify AES module structure#79

Code

Merged

marsella merged 9 commits intomasterGaloisInc/cryptol-specs:masterfrom 77-refactor-aes-modulesGaloisInc/cryptol-specs:77-refactor-aes-modulesCopy head branch name to clipboardJun 27, 2024

+360-449

Commits

Commits on Jun 24, 2024

• aes: add concrete instantiations of AES #77

  Show description for 53d6e68
  marsella

  committed
  53d6e68

  Copy full SHA for 53d6e68

• aes: use explicit params in cbc, cfb, ctr mode #77

  marsella

  committed
  6b1af4b

  Copy full SHA for 6b1af4b

• aes: use explicit AES in gcm and gcm-siv mode #77

  marsella

  committed
  8c14010

  Copy full SHA for 8c14010

• aes: remove aes_parameterized version #77

  Show description for 302d249
  marsella

  committed
  302d249

  Copy full SHA for 302d249

• aes: add concrete instantiation for AES-192 #77

  marsella

  committed
  9e1b9a0

  Copy full SHA for 9e1b9a0

• aes: add basic test vector for 128, 192 #77

  marsella

  committed
  c46fa18

  Copy full SHA for c46fa18

• aes: replace duplicate AES.cry with AES256 #77

  Show description for 0244aa4
  marsella

  committed
  0244aa4

  Copy full SHA for 0244aa4

Commits on Jun 26, 2024

• aes: update KeySize definition, accessibility #77

  Show description for 6430913
  marsella

  committed
  6430913

  Copy full SHA for 6430913

• aes: add migration guide for aes API changes #77

  marsella

  committed
  d736d81

  Copy full SHA for d736d81