Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / awslabs/aws-lc-verification issues and pull requests

#145 - Use the RelWithDebInfo build type

Pull Request - State: open - Opened by justsmth 7 months ago

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

Pull Request - State: open - Opened by RyanGlScott 7 months ago - 6 comments

#143 - Add unbounded AES-GCM verification

Pull Request - State: open - Opened by RyanGlScott 7 months ago - 12 comments

#142 - Adding CITATION file

Pull Request - State: closed - Opened by apetcher-amazon 7 months ago

#141 - Improvements to formal verification of P-384

Pull Request - State: closed - Opened by apetcher-amazon 8 months ago

#140 - Add attribute noinline to OPENSSL_malloc

Pull Request - State: closed - Opened by pennyannn 9 months ago

#139 - Add unbounded AES-GCM verification.

Pull Request - State: open - Opened by andreistefanescu 10 months ago - 2 comments

#138 - Flip back src submodule

Pull Request - State: closed - Opened by pennyannn 11 months ago

#137 - Add proofs for top-level EVP function of HMAC

Issue - State: open - Opened by pennyannn 11 months ago

#136 - Add support for EVP_PKEY_HMAC

Pull Request - State: closed - Opened by pennyannn 11 months ago - 1 comment

#134 - Yppe/expriment with 130

Pull Request - State: closed - Opened by pennyannn 11 months ago

#131 - Flip back submodule src

Pull Request - State: closed - Opened by pennyannn 12 months ago

#130 - Formal verification of ECDH with P-384

Pull Request - State: closed - Opened by apetcher-amazon 12 months ago - 1 comment

#129 - Embed generator field in struct ec_group_st

Pull Request - State: closed - Opened by pennyannn 12 months ago

#128 - Add SAW proofs for integration of Arm proofs for SHA384

Pull Request - State: closed - Opened by pennyannn 12 months ago

#127 - Flip back submodule src

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#126 - Update points-to preconditions for ec_group_st and ec_method_st

Pull Request - State: closed - Opened by pennyannn about 1 year ago

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

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#124 - Update the points_to setup for struct ec_group_st

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#123 - Update README to reflect the change in Dockerfile setup

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#122 - Integrate NSym proofs for SHA384/512 with Arm assembly

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#121 - Flip back submodule src

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#120 - Fix formal verification failure in AWS-LC PR 1221

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#119 - Point submodule src back to aws-lc main

Pull Request - State: closed - Opened by pennyannn about 1 year ago

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

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#117 - Re-enable AES-GCM proof

Issue - State: open - Opened by pennyannn about 1 year ago - 1 comment

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

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#115 - Add SAW proof for ec_GFp_nistp384_point_mul_public

Pull Request - State: closed - Opened by pennyannn about 1 year ago

#114 - Add SAW proof for `ec_GFp_nistp384_point_mul_base`

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#113 - Flip back submodule

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#112 - Fix formal verification failure in AWS-LC PR 1101

Pull Request - State: closed - Opened by pennyannn over 1 year ago - 2 comments

#111 - 105

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#110 - Set saw builds back

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#109 - Temporary holder for migrating saw builds

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#108 - Upgrade SAW

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#107 - Flip back submodule

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#105 - P-384 verification

Pull Request - State: closed - Opened by apetcher-amazon over 1 year ago

#104 - Flip back submodule

Pull Request - State: closed - Opened by pennyannn over 1 year ago

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

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#102 - Revert "Update global constant pairs used in AES-GCM proofs"

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#101 - Add proof for HMAC-SHA512 and others

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#100 - Update global constant pairs used in AES-GCM proofs

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#99 - Add an override for OPENSSL_cleanse in EVP_PKEY_derive proof

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#98 - Extend ECDSA proof to be unbounded

Pull Request - State: closed - Opened by pennyannn over 1 year ago - 1 comment

#97 - Add override for OPENSSL_cleanse in proof of HMAC_Init_ex

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#96 - Flip back src submodule

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#95 - Add an override for `BN_is_odd` when applied to `RSA->n`

Pull Request - State: closed - Opened by pennyannn over 1 year ago

#94 - why BN is assumed to be correct?

Issue - State: closed - Opened by juda over 1 year ago - 1 comment

#93 - Add SAW proof for HKDF

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#92 - Update go verison used in docker file

Pull Request - State: closed - Opened by andrewhop almost 2 years ago

#91 - Flip back submodule

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#90 - Fix patch file for value_barrier_w

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#89 - Adding a CI status badge

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#88 - Unset bits in ia32cap to disable AVX512[F|DQ|BW|VL] instructions

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#87 - Flip src back to AWS-LC main branch

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#86 - Fix the gitmodules url

Pull Request - State: closed - Opened by pennyannn almost 2 years ago - 1 comment

#85 - Fixing formal verification failure in PR #755

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#84 - Fix memory usage issue in SHA512-384-SELECTCHECK

Pull Request - State: closed - Opened by pennyannn almost 2 years ago - 1 comment

#83 - ECDSA proof failing with newer version of SAW

Issue - State: closed - Opened by pennyannn almost 2 years ago - 1 comment

#82 - Adding unbounded proof for HMAC

Pull Request - State: closed - Opened by pennyannn almost 2 years ago - 1 comment

#81 - Adding unbounded proof for HMAC

Pull Request - State: closed - Opened by pennyannn almost 2 years ago

#80 - Add unbounded AES-GCM proof

Pull Request - State: open - Opened by chameco almost 2 years ago

#79 - Flip submodule back to AWS-LC main branch

Pull Request - State: closed - Opened by torben-hansen almost 2 years ago

#78 - Expect 64-bit type not 32-bit type

Pull Request - State: closed - Opened by torben-hansen almost 2 years ago - 1 comment

#77 - Fix process limit calculation

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#76 - Increase memory_used_per_test in AES-GCM selectcheck proofs

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#75 - Fixing stack trace to be stack frame

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#74 - Parallel the SAW proofs

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#73 - Revert src back to aws-lc main

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#72 - Add the poisoned field to struct EVP_CIPHER_CTX

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#71 - Revert "Parallel the proofs to experiment with runner pool setups"

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#70 - Parallel the proofs to experiment with runner pool setups

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#68 - Add EVP_PKEY_hkdf_pkey for ECDSA, ECDH and RSA proofs

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#67 - Fixing verify_final_with_length to use withLength

Pull Request - State: closed - Opened by pennyannn about 2 years ago

#66 - Support FV on aws-lc FIPS branches

Issue - State: open - Opened by bryce-shang over 2 years ago

#65 - Remove some field names from structs

Pull Request - State: closed - Opened by apetcher-amazon over 2 years ago - 2 comments

#64 - Fix failures incurred by changes to EVP_CIPHER

Pull Request - State: closed - Opened by nebeid over 2 years ago

#63 - Minor ECDSA changes to allow proof to succeed on changes from upstream code

Pull Request - State: closed - Opened by apetcher-amazon over 2 years ago - 1 comment

#62 - Support HMAC proof select check split.

Pull Request - State: closed - Opened by bryce-shang over 2 years ago - 1 comment

#61 - Extend HMAC proof to cover state reuse

Issue - State: open - Opened by SalusaSecondus over 2 years ago

#60 - Install saw when new version is defined.

Pull Request - State: closed - Opened by bryce-shang over 2 years ago - 1 comment

#58 - Proof for optimized HMAC code.

Pull Request - State: closed - Opened by apetcher-amazon over 2 years ago - 5 comments

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

Pull Request - State: closed - Opened by andrewhop almost 3 years ago

#56 - noinline two EC functions

Pull Request - State: closed - Opened by apetcher-amazon about 3 years ago

#55 - Update verification to work with DEFINE_LOCAL_DATA.

Pull Request - State: closed - Opened by andreistefanescu about 3 years ago

#54 - Add parameter range config of AES-GCM select check.

Pull Request - State: closed - Opened by bryce-shang about 3 years ago

#53 - Let each process use more memory.

Pull Request - State: closed - Opened by bryce-shang over 3 years ago

#52 - Test PR 51

Pull Request - State: closed - Opened by bryce-shang over 3 years ago

#51 - Use CMake's Release settings in most proofs

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 15 comments

#50 - RSA verification issues with BN_is_odd

Pull Request - State: closed - Opened by samuel40791765 over 3 years ago

#49 - Verification does not examine release mode

Issue - State: closed - Opened by apetcher-amazon over 3 years ago - 2 comments

#48 - Add SHA-512 specifications with SMT arrays.

Pull Request - State: closed - Opened by andreistefanescu over 3 years ago - 5 comments

#47 - Test 105 len in GitHub CI.

Pull Request - State: closed - Opened by bryce-shang over 3 years ago - 1 comment

#46 - Run AES-GCM check concurrently.

Pull Request - State: closed - Opened by bryce-shang over 3 years ago - 1 comment