Commits

Branch selector

 Cynn1989

User selector

hanno-becker

Datepicker

All time

Commit History

Commits on Dec 12, 2024

• Merge pull request pq-code-package#518 from pq-code-package/cbmc_boilerplate

  Show description for 7938203
  hanno-becker

  authored
  7938203

  Copy full SHA for 7938203

• CBMC: Delete unneeded files and boilerplate

  Show description for 50af5d2
  hanno-becker

  committed
  50af5d2

  Copy full SHA for 50af5d2

• Merge pull request pq-code-package#517 from pq-code-package/fips202_simpl

  Show description for c614eab
  hanno-becker

  authored
  c614eab

  Copy full SHA for c614eab

• FIPS202: Remove redundant zeroization in shake128_absorb_once()

  Show description for fe603e6
  hanno-becker

  committed
  fe603e6

  Copy full SHA for fe603e6

• Merge pull request pq-code-package#509 from pq-code-package/build-static-lib

  Show description for d26f06b
  hanno-becker

  authored
  d26f06b

  Copy full SHA for d26f06b

• Merge pull request pq-code-package#512 from pq-code-package/mul_inline

  Show description for dd4e090
  hanno-becker

  authored
  dd4e090

  Copy full SHA for dd4e090

• Reduce: Inline reduce.c into reduce.h

  Show description for 8321712
  hanno-becker

  committed
  8321712

  Copy full SHA for 8321712

• Merge pull request pq-code-package#513 from pq-code-package/cbmc_doc

  Show description for 0036862
  hanno-becker

  authored
  0036862

  Copy full SHA for 0036862

• README: Add note on (non-)usage of CBMC

  Show description for 6c1aa11
  hanno-becker

  committed
  6c1aa11

  Copy full SHA for 6c1aa11

• Merge pull request pq-code-package#511 from pq-code-package/reduce_doc

  Show description for 5bfad46
  hanno-becker

  authored
  5bfad46

  Copy full SHA for 5bfad46

• reduce.c: Simplify bounds documentation

  Show description for 506e0ea
  hanno-becker

  committed
  506e0ea

  Copy full SHA for 506e0ea

• reduce.c: Adjust bound in debug assertion

  Show description for 0f2bc27
  hanno-becker

  committed
  0f2bc27

  Copy full SHA for 0f2bc27

• Merge pull request pq-code-package#507 from pq-code-package/liboqs-changes

  Show description for a3e415c
  hanno-becker

  authored
  a3e415c

  Copy full SHA for a3e415c

• CI: Update check-namespace to new namespaces

  Show description for dc3c2ce
  

  hanno-becker

  authored and

  Matthias J. Kannwischer

  committed
  dc3c2ce

  Copy full SHA for dc3c2ce

• Merge pull request pq-code-package#510 from pq-code-package/fips202_readme

  Show description for 3d27ef6
  hanno-becker

  authored
  3d27ef6

  Copy full SHA for 3d27ef6

• FIPS202: Remove shake256ctx structure definition from header

  Show description for 9ca8855
  hanno-becker

  committed
  9ca8855

  Copy full SHA for 9ca8855

• Rename shake128[x4]_ctx_release() -> shake128[x4]_release()

  Show description for 8b05358
  hanno-becker

  committed
  8b05358

  Copy full SHA for 8b05358

• Expand README on use of external FIPS-202 implementation

  Show description for 9dcede6
  hanno-becker

  committed
  9dcede6

  Copy full SHA for 9dcede6

• Merge pull request pq-code-package#508 from pq-code-package/fips202_simplify

  Show description for 57e4e02
  hanno-becker

  authored
  57e4e02

  Copy full SHA for 57e4e02

• FIPS202: Rename shake128x4_ctx -> shake128x4ctx

  Show description for 6144ab6
  hanno-becker

  committed
  6144ab6

  Copy full SHA for 6144ab6

Commits on Dec 11, 2024

• Use shake128x4_ctx and shake256x4_ctx instead of keccakx4_state

  Show description for e3ea160
  hanno-becker

  committed
  e3ea160

  Copy full SHA for e3ea160

• Minimize FIPS-202 API

  Show description for 8e290d3
  hanno-becker

  committed
  8e290d3

  Copy full SHA for 8e290d3

• Remove singular use of incremental shake256 API

  Show description for 188b483
  hanno-becker

  committed
  188b483

  Copy full SHA for 188b483

Commits on Dec 10, 2024

• Remove redundant reduction from unpack_pk() and unpack_sk()

  Show description for 6fc7eb4
  hanno-becker

  committed
  6fc7eb4

  Copy full SHA for 6fc7eb4

• Merge pull request pq-code-package#506 from pq-code-package/cbmc_polyvec_basemul_acc_montgomery

  Show description for f56c5f6
  hanno-becker

  authored
  f56c5f6

  Copy full SHA for f56c5f6

Commits on Dec 9, 2024

• Merge pull request pq-code-package#504 from pq-code-package/comments

  Show description for 27faf17
  hanno-becker

  authored
  27faf17

  Copy full SHA for 27faf17

Commits on Dec 4, 2024

• Merge pull request pq-code-package#493 from pq-code-package/cbmc-sym

  Show description for f875b7f
  hanno-becker

  authored
  f875b7f

  Copy full SHA for f875b7f

Commits on Dec 3, 2024

• Merge pull request pq-code-package#437 from pq-code-package/update-docs

  Show description for 112dbd3
  hanno-becker

  authored
  112dbd3

  Copy full SHA for 112dbd3

• Merge pull request pq-code-package#479 from pq-code-package/remove_todo

  Show description for b5f9627
  hanno-becker

  authored
  b5f9627

  Copy full SHA for b5f9627

• Remove TODO regarding unrolling of gen_matrix()

  Show description for 5cdbeea
  hanno-becker

  committed
  5cdbeea

  Copy full SHA for 5cdbeea

• Don't call scalar (de)compression routines by contract

  Show description for 7df044e
  hanno-becker

  committed
  7df044e

  Copy full SHA for 7df044e

• Clarify TODO in indcpa.c

  Show description for b300b50
  hanno-becker

  committed
  b300b50

  Copy full SHA for b300b50

• Move bounds check for poly mulcache computation

  Show description for 2d0c904
  hanno-becker

  committed
  2d0c904

  Copy full SHA for 2d0c904

• Remove outdated todo from AVX2 backend

  Show description for cb1941f
  hanno-becker

  committed
  cb1941f

  Copy full SHA for cb1941f

• nix: Move CBMC related nix files into separate directory

  Show description for c5263b4
  hanno-becker

  committed
  c5263b4

  Copy full SHA for c5263b4

Pagination

Previous

Next