- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.saw files (50):

SAW/proof/RSA/memory.saw
SAW/proof/RSA/verify-RSA.saw
SAW/proof/RSA/arithmetic-axioms.saw
SAW/proof/RSA/goal-rewrites.saw
SAW/proof/RSA/BN.saw
SAW/proof/RSA/RSA.saw
SAW/proof/RSA/evp-function-specs.saw
SAW/proof/AES/AES-GCM.saw
SAW/proof/AES/AESNI-GCM.saw
SAW/proof/AES/GHASH.saw
SAW/proof/AES/goal-rewrites.saw
SAW/proof/AES/AES.saw
SAW/proof/AES/evp-function-specs.saw
SAW/proof/AES/goal-rewrites-AES.saw
SAW/proof/AES/verify-AES-GCM-quickcheck.saw
SAW/proof/BN/BN.saw
SAW/proof/ECDH/ECDH.saw
SAW/proof/ECDH/verify-ECDH.saw
SAW/proof/ECDH/evp-function-specs.saw
SAW/proof/SHA512/memory.saw
SAW/proof/SHA512/sha512_block_data_order-goal-rewrites.saw
SAW/proof/SHA512/SHA512.saw
SAW/proof/SHA512/SHA512-common.saw
SAW/proof/SHA512/verify-SHA512-384-quickcheck.saw
SAW/proof/SHA512/SHA512-384.saw
SAW/proof/SHA512/SHA512-512.saw
SAW/proof/SHA512/goal-rewrites.saw
SAW/proof/SHA512/evp-function-specs.saw
SAW/proof/SHA512/verify-SHA512-512-quickcheck.saw
SAW/proof/SHA512/SHA512-384-common.saw
SAW/proof/common/memory.saw
SAW/proof/common/goal-rewrites.saw
SAW/proof/common/helpers.saw
SAW/proof/common/internal.saw
SAW/proof/EVP/EVP_CTX.saw
SAW/proof/ECDSA/memory.saw
SAW/proof/ECDSA/verify-ECDSA.saw
SAW/proof/ECDSA/ECDSA.saw
SAW/proof/ECDSA/goal-rewrites.saw
SAW/proof/ECDSA/evp-function-specs.saw
SAW/proof/HMAC/HMAC.saw
SAW/proof/HMAC/verify-HMAC-SHA384-quickcheck.saw
SAW/proof/HMAC/verify-HMAC-SHA384-selectcheck.saw
SAW/proof/EC/memory.saw
SAW/proof/EC/EC.saw
SAW/proof/SHA256/SHA256.saw
SAW/proof/AES_KW/verify-AES_KWP.saw
SAW/proof/AES_KW/verify-AES_KW.saw
SAW/proof/AES_KW/AES_KWP.saw
SAW/proof/AES_KW/AES_KW.saw
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*. files (4):

.github/CODEOWNERS
LICENSE
NOTICE
Dockerfile
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
*.cry files (3):

SAW/spec/AES/X86.cry
SAW/spec/AES/AES-GCM-implementation.cry
SAW/spec/AES/AES-GCM.cry
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -