FreeRTOS · kar-rahul-aws · Oct 21, 2024 · Oct 21, 2024
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Change Log for corePKCS11 Library
 
+## v3.6.2 (October 2024)
+* [#202](https://github.com/FreeRTOS/corePKCS11/pull/202) Export RSA key attributes from mbedtls context to support TLSv1.3
+
 ## v3.6.1 (June 2024)
 * Fix doxygen deployment on Github.
 

diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = corePKCS11
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v3.6.1
+PROJECT_NUMBER         = v3.6.2
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a

diff --git a/manifest.yml b/manifest.yml
@@ -1,5 +1,5 @@
 name: "corePKCS11"
-version: "v3.6.1"
+version: "v3.6.2"
 description: "Software implementation of the PKCS #11 standard."
 license: "MIT"
 

diff --git a/source/core_pkcs11.c b/source/core_pkcs11.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/core_pki_utils.c b/source/core_pki_utils.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c b/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h b/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_pkcs11.h b/source/include/core_pkcs11.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_pkcs11_config_defaults.h b/source/include/core_pkcs11_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_pkcs11_pal.h b/source/include/core_pkcs11_pal.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/core_pki_utils.h b/source/include/core_pki_utils.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/portable/mbedtls/core_pkcs11_mbedtls.c b/source/portable/mbedtls/core_pkcs11_mbedtls.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/portable/os/core_pkcs11_pal_utils.c b/source/portable/os/core_pkcs11_pal_utils.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/portable/os/core_pkcs11_pal_utils.h b/source/portable/os/core_pkcs11_pal_utils.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/portable/os/freertos_winsim/core_pkcs11_pal.c b/source/portable/os/freertos_winsim/core_pkcs11_pal.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/portable/os/posix/core_pkcs11_pal.c b/source/portable/os/posix/core_pkcs11_pal.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/core_pkcs11_config.h b/test/cbmc/include/core_pkcs11_config.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/pkcs11_interface_stubs.h b/test/cbmc/include/pkcs11_interface_stubs.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c b/test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c b/test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c b/test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c b/test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c b/test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c b/test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_Finalize/C_Finalize_harness.c b/test/cbmc/proofs/C_Finalize/C_Finalize_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c b/test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c b/test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c b/test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c b/test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c b/test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c b/test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c b/test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c b/test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c b/test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_Initialize/C_Initialize_harness.c b/test/cbmc/proofs/C_Initialize/C_Initialize_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c b/test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_Sign/C_Sign_harness.c b/test/cbmc/proofs/C_Sign/C_Sign_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_SignInit/C_SignInit_harness.c b/test/cbmc/proofs/C_SignInit/C_SignInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_Verify/C_Verify_harness.c b/test/cbmc/proofs/C_Verify/C_Verify_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c b/test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...ofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c b/...ofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...ofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c b/...ofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...ppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c b/...ppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c b/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c b/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c b/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c b/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c b/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/core_pkcs11_pal_stubs.c b/test/cbmc/stubs/core_pkcs11_pal_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/core_pki_utils_stubs.c b/test/cbmc/stubs/core_pki_utils_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/mbedtls_stubs.c b/test/cbmc/stubs/mbedtls_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/stubs/pkcs11_interface_stubs.c b/test/cbmc/stubs/pkcs11_interface_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/include/core_pkcs11_config.h b/test/include/core_pkcs11_config.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/include/logging_levels.h b/test/include/logging_levels.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/include/logging_stack.h b/test/include/logging_stack.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/include/malloc_stub.h b/test/include/malloc_stub.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.1
+ * corePKCS11 v3.6.2
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT