diff --git a/.gitmodules b/.gitmodules
index 4cd8b20a..0019fecc 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3,7 +3,7 @@
 	url = https://github.com/ThrowTheSwitch/CMock.git
 [submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
 	path = test/cbmc/aws-templates-for-cbmc-proofs
-	url = git@github.com:awslabs/aws-templates-for-cbmc-proofs.git
+	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
 [submodule "test/cbmc/litani"]
 	path = test/cbmc/litani
 	url = https://github.com/awslabs/aws-build-accumulator
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
index 27fdd8ee..8f2dafc1 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 27fdd8ee01705d917bcf0a3c37ff687779a87bda
+Subproject commit 8f2dafc1db539ca97b6f4b8533f069e176c11b1c