Commits

Branch selector

 bb4ce97

User selector

All users

Datepicker

All time

Commit History

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

Commits on Nov 3, 2023

• Update README to reflect the change in Dockerfile setup (#123)

  pennyannn

  authored
  35d4649

  Copy full SHA for 35d4649

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

• Flip back submodule src (#121)

  pennyannn

  authored
  dcc1786

  Copy full SHA for dcc1786

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 Sep 21, 2023

• Point submodule src back to aws-lc main (#119)

  pennyannn

  authored
  076973c

  Copy full SHA for 076973c

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

  pennyannn

  authored
  7991fa6

  Copy full SHA for 7991fa6

Commits on Sep 7, 2023

• Track most recent aws-lc to include change from ticket V1018648993 (#116)

  pennyannn

  authored
  261c424

  Copy full SHA for 261c424

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

• Flip back submodule (#113)

  pennyannn

  authored
  7d0a46a

  Copy full SHA for 7d0a46a

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 Jun 8, 2023

• Flip back submodule (#107)

  pennyannn

  authored
  ff55e72

  Copy full SHA for ff55e72

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

  Copy full SHA for 4af55bb

Pagination

Previous

Next