diff --git a/kani-dependencies b/kani-dependencies
index 103963db8c8e..421188a08762 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="6"
 CBMC_MINOR="1"
-CBMC_VERSION="6.1.0"
+CBMC_VERSION="6.1.1"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"
diff --git a/tests/perf/s2n-quic b/tests/perf/s2n-quic
index cc4e6d023f8e..71f8d9f5aafb 160000
--- a/tests/perf/s2n-quic
+++ b/tests/perf/s2n-quic
@@ -1 +1 @@
-Subproject commit cc4e6d023f8edf92fea294dcaea2fd5a1132cb47
+Subproject commit 71f8d9f5aafbf59f31ad85eeb7b4b67a7564a685