Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 19, 2024

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

  pennyannn

  authored
  35d475d

Commits on Nov 20, 2024

• Disabling GFp_nistp384_point_mul_public patch (#168)

  pennyannn

  authored
  b37d482

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

  Show description for 00e78ca
  pennyannn

  authored
  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

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

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

Commits on Jun 25, 2024

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

  pennyannn

  authored
  02aa15c

Commits on Jun 14, 2024

• Fix AWS-LC PR 1628 (#153)

  pennyannn

  authored
  2c8c5bf

Commits on Jun 12, 2024

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

  pennyannn

  authored
  8b4c234

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

Commits on May 10, 2024

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

  pennyannn

  authored
  5b058cd

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

  Show description for 1a3784b
  

  pennyannn

  and

  apetcher-amazon

  authored
  1a3784b

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

  Show description for 0581cde
  

  4 peopleauthored
  0581cde

Commits on Apr 22, 2024

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

  apetcher-amazon

  authored
  fbcf31b

Commits on Feb 15, 2024

• Add attribute noinline to OPENSSL_malloc (#140)

  pennyannn

  authored
  cb1ae3c

Commits on Dec 26, 2023

• Add support for EVP_PKEY_HMAC (#136)

  pennyannn

  authored
  8c44b97

Commits on Dec 15, 2023

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

  pennyannn

  authored
  1d1107e

Commits on Dec 7, 2023

• Embed generator field in ec_group_st (#129)

  pennyannn

  authored
  2219b63

Commits on Dec 6, 2023

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

  Show description for a7affcc
  pennyannn

  authored
  a7affcc

Commits on Nov 22, 2023

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

  pennyannn

  authored
  bde06b0

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

  Show description for b519d2e
  

  pennyannn

  and

  Yan Peng

  authored
  b519d2e

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

Commits on Nov 1, 2023

• Add SAW proof for ec_GFp_nistp384_point_mul_public (#115)

  pennyannn

  authored
  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

Commits on Sep 21, 2023

• Fix formal verification failure in AWS-LC PR 1177 (#118)

  pennyannn

  authored
  7991fa6

Commits on Aug 17, 2023

• Add SAW proof for ec_GFp_nistp384_point_mul_base (#114)

  Show description for 073db92
  pennyannn

  authored
  073db92

Commits on Aug 1, 2023

• initial P-384 verification (#105)

  Show description for e504944
  apetcher-amazon

  authored
  e504944

Commits on Jul 28, 2023

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

  pennyannn

  authored
  c64dd9a

Commits on Jul 3, 2023

• Set SAW-URL back (#110)

  pennyannn

  authored
  943bf68

Commits on Jun 30, 2023

• Temporary holder for migrading saw builds (#109)

  pennyannn

  authored
  1e4a3ad

Commits on Jun 16, 2023

• Upgrade SAW (#108)

  pennyannn

  authored
  74aa228

Commits on Jun 7, 2023

• Updated the proof of gcm_init_avx to reflect the location change of global constant L0x1c2_polynomial. (#106)

  pennyannn

  authored
  4af55bb

Commits on Apr 24, 2023

• Update the location of global constants in AES-GCM proofs (#103)

  pennyannn

  authored
  1ee580d

• Revert "Update global constant pairs used in x86 assembly proofs (#100)" (#102)

  Show description for 52a72b9
  pennyannn

  authored
  52a72b9

• Update global constant pairs used in x86 assembly proofs (#100)

  pennyannn

  authored
  fc97e25

Pagination

Previous

Next