diff --git a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj
index 7006996854..6d46aca366 100644
--- a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj
+++ b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj
@@ -57,18 +57,18 @@
 
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.2" />
+    <PackageReference Include="AWSSDK.Core" Version="4.0.0.20" />
     <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
-    <PackageReference Include="BouncyCastle.Cryptography" Version="2.3.1" />
+    <PackageReference Include="BouncyCastle.Cryptography" Version="2.6.2" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />
 
     <!--
       System.Collections.Immutable can be removed once dafny.msbuild is updated with
       https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
     -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
+    <PackageReference Include="System.Collections.Immutable" Version="9.0.8" />
     <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0" />
+    <PackageReference Include="System.ValueTuple" Version="4.6.1" />
 
     <Compile Include="Extern/**/*.cs" />
     <Compile Include="Generated/**/*.cs" />
diff --git a/AwsCryptographyPrimitives/runtimes/net/tests/Test-Crypto.csproj b/AwsCryptographyPrimitives/runtimes/net/tests/Test-Crypto.csproj
index bf7d59dc98..e9c037deeb 100644
--- a/AwsCryptographyPrimitives/runtimes/net/tests/Test-Crypto.csproj
+++ b/AwsCryptographyPrimitives/runtimes/net/tests/Test-Crypto.csproj
@@ -15,9 +15,9 @@
       System.Collections.Immutable can be removed once dafny.msbuild is updated with
       https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
     -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
+    <PackageReference Include="System.Collections.Immutable" Version="9.0.8" />
     <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0" />
+    <PackageReference Include="System.ValueTuple" Version="4.6.1" />
   </ItemGroup>
 
   <ItemGroup>
diff --git a/StandardLibrary/runtimes/net/STD.csproj b/StandardLibrary/runtimes/net/STD.csproj
index 71037f4c12..5003b67909 100644
--- a/StandardLibrary/runtimes/net/STD.csproj
+++ b/StandardLibrary/runtimes/net/STD.csproj
@@ -61,9 +61,9 @@
       System.Collections.Immutable can be removed once dafny.msbuild is updated with
       https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
     -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
+    <PackageReference Include="System.Collections.Immutable" Version="9.0.8" />
     <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0" />
+    <PackageReference Include="System.ValueTuple" Version="4.6.1" />
 
     <Compile Include="Extern/**/*.cs" />
     <Compile Include="Generated/**/*.cs" />