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

#45 - Proof changes to support recent BoringSSL commits

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

#44 - Add proof for SHA256 with shaext instructions.

Pull Request - State: open - Opened by andreistefanescu over 3 years ago - 1 comment

#43 - Parameterized GCM proof

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

#42 - Bump SAW.

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

#41 - Removing references to block_mask from the spec.

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

#40 - Generalize gcm_ghash_avx proof.

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

#39 - Fix aes_hw_ctr32_encrypt_blocks proof.

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

#38 - Complete RSA-PSS proof

Issue - State: open - Opened by apetcher-amazon over 3 years ago

#37 - Fix gcm_ghash_avx proof.

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

#36 - Add proof for RSA-PSS.

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

#35 - Update SAW version

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

#34 - Ecdh

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

#33 - Disable SHA-256 proof.

Pull Request - State: closed - Opened by bryce-shang almost 4 years ago

#32 - Support SHA instructions in SHA-256 proof.

Issue - State: open - Opened by apetcher-amazon almost 4 years ago - 1 comment

#31 - Add proof for ECDSA.

Pull Request - State: closed - Opened by andreistefanescu almost 4 years ago

#30 - Improve specs for memory management functions.

Pull Request - State: closed - Opened by andreistefanescu almost 4 years ago

#29 - Bump saw

Pull Request - State: closed - Opened by andreistefanescu almost 4 years ago - 2 comments

#28 - AES-KW(P) proofs should only depend on AES, not AES-GCM

Issue - State: open - Opened by apetcher-amazon almost 4 years ago

#27 - Support HMAC-SHA384 verification with more parameters.

Pull Request - State: closed - Opened by bryce-shang almost 4 years ago

#26 - Edit SHA512.saw to support more parameters.

Pull Request - State: closed - Opened by bryce-shang almost 4 years ago

#24 - AES-KW(P) proofs

Pull Request - State: closed - Opened by apetcher-amazon almost 4 years ago

#23 - Verify aes_hw_decrypt.

Pull Request - State: closed - Opened by andreistefanescu almost 4 years ago

#22 - Add DIGEST_LENGTH in README for SHA-2 and HMAC.

Pull Request - State: closed - Opened by andreistefanescu almost 4 years ago

#21 - Remove nomuxrsp.patch

Issue - State: open - Opened by andreistefanescu almost 4 years ago

#20 - Handle global symbols in code segment.

Issue - State: open - Opened by andreistefanescu almost 4 years ago

#19 - AES-GCM

Pull Request - State: closed - Opened by andreistefanescu almost 4 years ago - 1 comment

#18 - Checkout submodules in CI with single action

Pull Request - State: closed - Opened by bboston7 almost 4 years ago

#17 - SHA-256 proof broken

Issue - State: closed - Opened by apetcher-amazon almost 4 years ago

#16 - Squashed commit of SHA and HMAC proof changes

Pull Request - State: closed - Opened by jldodds-aws almost 4 years ago

#15 - Complete README files

Pull Request - State: closed - Opened by apetcher-amazon almost 4 years ago

#14 - Verify all init cases

Issue - State: open - Opened by apetcher-amazon about 4 years ago

#13 - Add verification of missing cases related to length output.

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

#12 - Hmac proof

Pull Request - State: closed - Opened by jldodds-aws about 4 years ago - 2 comments

#11 - Inline evp-function-specs.saw.

Pull Request - State: closed - Opened by jldodds-aws about 4 years ago - 1 comment

#10 - Verify in parallel and check all input lengths up to bound.

Issue - State: closed - Opened by apetcher-amazon about 4 years ago - 1 comment

#9 - Modifications to enable CI

Pull Request - State: closed - Opened by apetcher-amazon about 4 years ago - 1 comment

#8 - Update README files

Issue - State: closed - Opened by apetcher-amazon about 4 years ago

#7 - Check all input lengths up to bound in SHA-2 proofs

Issue - State: closed - Opened by apetcher-amazon about 4 years ago - 1 comment

#5 - Reorganize SHA-256 proof

Issue - State: open - Opened by apetcher-amazon about 4 years ago

#4 - Verify DigestFinal with length output

Issue - State: closed - Opened by apetcher-amazon about 4 years ago