Code

Bike proofs#3

Code

Open

bauer-matthews wants to merge 11 commits intoandrewhop:bikeandrewhop/s2n:bikefrom bauer-matthews:bike_proofsCopy head branch name to clipboard

+8,972-8

Commits

Commits on Apr 3, 2019

• Initial copy of BIKE1-L1. Includes CMakeLists modification to build BIKE as a part of s2n and run one sanity test.

  Show description for 1c31661
  andrewhop

  committed
  1c31661

  Copy full SHA for 1c31661

• Add common random number interface for use by PQ crypto libraries. Fix other issues from clang build and FIPS openssl build

  Show description for 8d92d07
  andrewhop

  committed
  8d92d07

  Copy full SHA for 8d92d07

• Add BIKE known answer tests

  andrewhop

  committed
  8f4d574

  Copy full SHA for 8f4d574

• Use initialize_pq_crypto_generator in pq-random to switch between s2n and nist rng

  andrewhop

  committed
  e98a87f

  Copy full SHA for e98a87f

• Taking BIKE constant time non-asm-optimized

  

  drucker-nir

  authored and

  andrewhop

  committed
  86857b7

  Copy full SHA for 86857b7

• Cleanup build and rebase changes with SIKE pushed

  andrewhop

  committed
  bb28d50

  Copy full SHA for bb28d50

Commits on Apr 4, 2019

• added bike memory safety proofs

  mbauer-galois

  committed
  eaeae0b

  Copy full SHA for eaeae0b

• strip copyrights

  mbauer-galois

  committed
  1eadf36

  Copy full SHA for 1eadf36

Commits on Apr 10, 2019

• allow saw install printing for debugging

  jldodds

  committed
  631501f

  Copy full SHA for 631501f

• Merge branch 'master' of github.com:awslabs/s2n into bike_proofs

  jldodds

  committed
  75c39c0

  Copy full SHA for 75c39c0

Commits on Apr 11, 2019

• add Travis target for BIKE

  jldodds

  committed
  1ec1915

  Copy full SHA for 1ec1915