include/aws/cryptosdk/materials.h
verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c

include/aws/cryptosdk/materials.h
verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c

include/aws/cryptosdk/materials.h
verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c

include/aws/cryptosdk/private/hkdf.h
verification/cbmc/proofs/aws_cryptosdk_hkdf/aws_cryptosdk_hkdf_harness.c

include/aws/cryptosdk/materials.h
verification/cbmc/stubs/on_encrypt_stub.c