Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2024

• Flip back submodule (#170)

  pennyannn

  authored
  0fcf587

  Copy full SHA for 0fcf587

Commits on Dec 19, 2024

• Remove unused app_data field from EVP_CIPHER struct (#169)

  pennyannn

  authored
  35d475d

  Copy full SHA for 35d475d

Commits on Nov 20, 2024

• Disabling GFp_nistp384_point_mul_public patch (#168)

  pennyannn

  authored
  b37d482

  Copy full SHA for b37d482

• Disabling the validation tests due to the refactor in EC (#167)

  Show description for 00e78ca
  pennyannn

  authored
  00e78ca

  Copy full SHA for 00e78ca

Commits on Oct 4, 2024

• Upgrade OCaml packages (#165)

  pennyannn

  authored
  199b93f

  Copy full SHA for 199b93f

Commits on Aug 21, 2024

• Specify C99 as the standard when compiling AWS-LC until C11 atomics can be modled (#161)

  andrewhop

  authored
  b19e155

  Copy full SHA for b19e155

Commits on Jul 30, 2024

• Flip back src submodule (#160)

  pennyannn

  authored
  251d3c7

  Copy full SHA for 251d3c7

Commits on Jul 29, 2024

• Update SHA proof for "moving AArch64/X86_64 dispatching to C" changes (#155)

  Show description for c8c1569
  pennyannn

  authored
  c8c1569

  Copy full SHA for c8c1569

Commits on Jul 22, 2024

• Flip back src submodule to be main of aws-lc (#158)

  pennyannn

  authored
  225865c

  Copy full SHA for 225865c

Commits on Jul 19, 2024

• Update HMAC proofs for PR aws/aws-lc#1574 (#157)

  Show description for ed5f841
  

  fabrice102

  and

  Fabrice Benhamouda

  authored
  ed5f841

  Copy full SHA for ed5f841

Commits on Jun 25, 2024

• Temporarily disable EC, ECDH and ECDSA proofs for EC refactor in AWS-LC (#156)

  pennyannn

  authored
  02aa15c

  Copy full SHA for 02aa15c

Commits on Jun 14, 2024

• Fix AWS-LC PR 1628 (#153)

  pennyannn

  authored
  2c8c5bf

  Copy full SHA for 2c8c5bf

Commits on Jun 12, 2024

• Flip back src submdule to point to aws-lc main (#154)

  pennyannn

  authored
  7d839cf

  Copy full SHA for 7d839cf

• Update EC proofs for ec-nistp refactor (#152)

  pennyannn

  authored
  8b4c234

  Copy full SHA for 8b4c234

Commits on May 21, 2024

• Flip submodule back to aws-lc main (#150)

  pennyannn

  authored
  a48d3d9

  Copy full SHA for a48d3d9

Commits on May 20, 2024

• Updating EC/ECDH/ECDSA for new P-384 code with common point doubling function. (#147)

  Show description for 0ff601e
  apetcher-amazon

  authored
  0ff601e

  Copy full SHA for 0ff601e

Commits on May 14, 2024

• Fix the description of AES-GCM with platform SandyBridge-Skylake (without AVX512) (#149)

  pennyannn

  authored
  bb4ce97

  Copy full SHA for bb4ce97

Commits on May 10, 2024

• Fix CMAKE_C/CXX_FLAGS overriding problem and removing the flag for NSym job (#148)

  pennyannn

  authored
  5b058cd

  Copy full SHA for 5b058cd

• Add flag -ggdb to enable debug information in Release build (#146)

  Show description for 1a3784b
  

  pennyannn

  and

  apetcher-amazon

  authored
  1a3784b

  Copy full SHA for 1a3784b

• Add unbounded AES-GCM verification, isolate newer SAW from other proofs (#144)

  Show description for 0581cde
  

  4 peopleauthored
  0581cde

  Copy full SHA for 0581cde

Commits on Apr 23, 2024

• Adding CITATION file (#142)

  apetcher-amazon

  authored
  ebe9626

  Copy full SHA for ebe9626

Commits on Apr 22, 2024

• Improvements to formal verification of P-384 (#141)

  apetcher-amazon

  authored
  fbcf31b

  Copy full SHA for fbcf31b

Commits on Feb 15, 2024

• Add attribute noinline to OPENSSL_malloc (#140)

  pennyannn

  authored
  cb1ae3c

  Copy full SHA for cb1ae3c

Commits on Dec 27, 2023

• Flip back src submodule (#138)

  pennyannn

  authored
  3a03619

  Copy full SHA for 3a03619

Commits on Dec 26, 2023

• Add support for EVP_PKEY_HMAC (#136)

  pennyannn

  authored
  8c44b97

  Copy full SHA for 8c44b97

Commits on Dec 19, 2023

• Formal verification of ECDH with P-384 (#130)

  apetcher-amazon

  authored
  285a004

  Copy full SHA for 285a004

Commits on Dec 15, 2023

• Add memory usage information in output and increase average memory per process (#133)

  pennyannn

  authored
  1d1107e

  Copy full SHA for 1d1107e

Commits on Dec 8, 2023

• Flip back submodule src (#131)

  pennyannn

  authored
  41b0f65

  Copy full SHA for 41b0f65

Commits on Dec 7, 2023

• Embed generator field in ec_group_st (#129)

  pennyannn

  authored
  2219b63

  Copy full SHA for 2219b63

Commits on Dec 6, 2023

• Add SAW proofs for integration of Arm proofs for SHA384 (#128)

  Show description for a7affcc
  pennyannn

  authored
  a7affcc

  Copy full SHA for a7affcc

Commits on Nov 27, 2023

• Flip back submodule src (#127)

  pennyannn

  authored
  4d10b7f

  Copy full SHA for 4d10b7f

Commits on Nov 22, 2023

• Update points-to preconditions for ec_group_st and ec_method_st (#126)

  pennyannn

  authored
  bde06b0

  Copy full SHA for bde06b0

• Integrate NSym proofs for SHA384/512 with Arm assembly (#122)

  Show description for b519d2e
  

  pennyannn

  and

  Yan Peng

  authored
  b519d2e

  Copy full SHA for b519d2e

Commits on Nov 15, 2023

• Flip back src submodule to main of AWS-LC (#125)

  pennyannn

  authored
  a4b4f65

  Copy full SHA for a4b4f65

Commits on Nov 14, 2023

• Update the points_to setup for struct ec_group_st to reflect the change in src (#124)

  pennyannn

  authored
  523decc

  Copy full SHA for 523decc

Pagination

Previous

Next