Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

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 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 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 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

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

  pennyannn

  authored
  8b4c234

  Copy full SHA for 8b4c234

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 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 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 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 22, 2023

• 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 1, 2023

• Add SAW proof for ec_GFp_nistp384_point_mul_public (#115)

  pennyannn

  authored
  7d4ee82

  Copy full SHA for 7d4ee82

Commits on Oct 10, 2023

• Add overrides value_barrier_u32_ov and value_barrier_w_ov for EC related proofs (#120)

  Show description for 70e3732
  pennyannn

  authored
  70e3732

  Copy full SHA for 70e3732

Commits on Aug 17, 2023

• Add SAW proof for ec_GFp_nistp384_point_mul_base (#114)

  Show description for 073db92
  pennyannn

  authored
  073db92

  Copy full SHA for 073db92

Commits on Aug 1, 2023

• initial P-384 verification (#105)

  Show description for e504944
  apetcher-amazon

  authored
  e504944

  Copy full SHA for e504944

Commits on Jul 28, 2023

• Fix formal verification failure in aws-lc PR 1101 (#112)

  pennyannn

  authored
  c64dd9a

  Copy full SHA for c64dd9a

Commits on Jul 3, 2023

• Set SAW-URL back (#110)

  pennyannn

  authored
  943bf68

  Copy full SHA for 943bf68

Commits on Jun 30, 2023

• Temporary holder for migrading saw builds (#109)

  pennyannn

  authored
  1e4a3ad

  Copy full SHA for 1e4a3ad

Commits on Jun 16, 2023

• Upgrade SAW (#108)

  pennyannn

  authored
  74aa228

  Copy full SHA for 74aa228

Commits on Apr 18, 2023

• Extend ECDSA proof to be unbounded (#98)

  pennyannn

  authored
  c950e03

  Copy full SHA for c950e03

Commits on Mar 6, 2023

• Add SAW proof for HKDF (#93)

  pennyannn

  authored
  1250f12

  Copy full SHA for 1250f12

Commits on Jan 24, 2023

• Fixing formal verification failure in PR #755 (#85)

  pennyannn

  authored
  360a080

  Copy full SHA for 360a080

Commits on Jan 23, 2023

• Fix memory usage issue in SHA512-384-SELECTCHECK (#84)

  pennyannn

  authored
  e20ee1e

  Copy full SHA for e20ee1e

Commits on Jan 19, 2023

• Adding unbounded proof for HMAC (#82)

  Show description for 4a4269d
  pennyannn

  authored
  4a4269d

  Copy full SHA for 4a4269d

Commits on Oct 27, 2022

• Fixing stack trace to be stack frame (#75)

  pennyannn

  authored
  0efc892

  Copy full SHA for 0efc892

Commits on Oct 21, 2022

• Parallel the SAW proofs (#74)

  pennyannn

  authored
  c6a3cb8

  Copy full SHA for c6a3cb8

Commits on Oct 17, 2022

• Revert "Parallel the proofs to experiment with runner pool setups (#70)" (#71)

  Show description for 51d9d8f
  pennyannn

  authored
  51d9d8f

  Copy full SHA for 51d9d8f

• Parallel the proofs to experiment with runner pool setups (#70)

  pennyannn

  authored
  6b1dd31

  Copy full SHA for 6b1dd31

Commits on Mar 28, 2022

• Proof for optimized HMAC code. (#58)

  apetcher-amazon

  authored
  e7c410a

  Copy full SHA for e7c410a

Commits on Dec 9, 2021

• Determine the number of AES jobs to run in parallel based on system memory (#57)

  Show description for 25208b6
  andrewhop

  authored
  25208b6

  Copy full SHA for 25208b6

Commits on Oct 20, 2021

• noinline some EC functions (#56)

  apetcher-amazon

  authored
  c5cd4be

  Copy full SHA for c5cd4be

Pagination

Previous

Next