diff --git a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
index 61dff38be..88cca985f 100644
--- a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
+++ b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj
@@ -58,8 +58,8 @@
 
   <ItemGroup>
     <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.2" />
-    <PackageReference Include="AWSSDK.KeyManagementService" Version="3.7.300.2" />
+    <PackageReference Include="AWSSDK.Core" Version="3.7.304.8" />
+    <PackageReference Include="AWSSDK.KeyManagementService" Version="3.7.303.4" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />
     <!--
       System.Collections.Immutable can be removed once dafny.msbuild is updated with