diff --git a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
index 9175e2cf6..34f15b8d2 100644
--- a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
+++ b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
@@ -58,8 +58,8 @@
 
   <ItemGroup>
     <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.16" />
-    <PackageReference Include="AWSSDK.KeyManagementService" Version="3.7.304" />
+    <PackageReference Include="AWSSDK.Core" Version="3.7.401.12" />
+    <PackageReference Include="AWSSDK.KeyManagementService" Version="3.7.400.92" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />
     <!--
       System.Collections.Immutable can be removed once dafny.msbuild is updated with