Search results

Add proofs for top-level EVP function of HMAC

Status: Open.

#137 In awslabs/aws-lc-verification;

· pennyannn opened on Dec 20, 2023

Out of memory when SAW produces gigantic error message

Status: Open.

#135 In awslabs/aws-lc-verification;

· pennyannn opened on Dec 16, 2023

Refactor ECDH, ECDSA, and RSA proofs to reduce repetitive code

Status: Open.

#69 In awslabs/aws-lc-verification;

· pennyannn opened on Sep 27, 2022

Support FV on aws-lc FIPS branches

Status: Open.

#66 In awslabs/aws-lc-verification;

· bryce-shang opened on Aug 24, 2022

Extend HMAC proof to cover state reuse

Status: Open.

#61 In awslabs/aws-lc-verification;

· SalusaSecondus opened on Mar 23, 2022

Complete RSA-PSS proof

Status: Open.

#38 In awslabs/aws-lc-verification;

· apetcher-amazon opened on Feb 17, 2021

Support SHA instructions in SHA-256 proof.

Status: Open.

#32 In awslabs/aws-lc-verification;

· apetcher-amazon opened on Dec 17, 2020

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

Status: Open.

#28 In awslabs/aws-lc-verification;

· apetcher-amazon opened on Nov 20, 2020

SHA-512 proof should handle cases that require 2 block function iterations

Status: Open.

#25 In awslabs/aws-lc-verification;

· apetcher-amazon opened on Nov 12, 2020

Remove nomuxrsp.patch

Status: Open.

#21 In awslabs/aws-lc-verification;

· andreistefanescu opened on Oct 21, 2020

Handle global symbols in code segment.

Status: Open.

#20 In awslabs/aws-lc-verification;

· andreistefanescu opened on Oct 21, 2020

Verify all init cases

Status: Open.

#14 In awslabs/aws-lc-verification;

· apetcher-amazon opened on Sep 8, 2020