diff --git a/client/package-lock.json b/client/package-lock.json
index 5b4b8fc0..deb6b187 100644
--- a/client/package-lock.json
+++ b/client/package-lock.json
@@ -26,7 +26,7 @@
         "rimraf": "^5.0.5",
         "tmp": "^0.2.1",
         "ts-loader": "^9.5.0",
-        "typescript": "^5.2.2",
+        "typescript": "^5.3.2",
         "vs-verification-toolbox": "git+https://github.com/viperproject/vs-verification-toolbox.git",
         "vscode-languageclient": "^6.1.3",
         "vscode-uri": "^3.0.8",
@@ -6604,9 +6604,9 @@
       }
     },
     "node_modules/typescript": {
-      "version": "5.2.2",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.2.2.tgz",
-      "integrity": "sha512-mI4WrpHsbCIcwT9cF4FZvr80QUeKvsUsUvKDoR+X/7XHQH98xYD8YHZg7ANtz2GtZt/CBq2QJ0thkGJMHfqc1w==",
+      "version": "5.3.2",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.3.2.tgz",
+      "integrity": "sha512-6l+RyNy7oAHDfxC4FzSJcz9vnjTKxrLpDG5M2Vu4SHRVNg6xzqZp6LYSR9zjqQTu8DU/f5xwxUdADOkbrIX2gQ==",
       "dev": true,
       "bin": {
         "tsc": "bin/tsc",
@@ -12217,9 +12217,9 @@
       }
     },
     "typescript": {
-      "version": "5.2.2",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.2.2.tgz",
-      "integrity": "sha512-mI4WrpHsbCIcwT9cF4FZvr80QUeKvsUsUvKDoR+X/7XHQH98xYD8YHZg7ANtz2GtZt/CBq2QJ0thkGJMHfqc1w==",
+      "version": "5.3.2",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.3.2.tgz",
+      "integrity": "sha512-6l+RyNy7oAHDfxC4FzSJcz9vnjTKxrLpDG5M2Vu4SHRVNg6xzqZp6LYSR9zjqQTu8DU/f5xwxUdADOkbrIX2gQ==",
       "dev": true
     },
     "uc.micro": {
diff --git a/client/package.json b/client/package.json
index 19c95dfa..ddff0af4 100644
--- a/client/package.json
+++ b/client/package.json
@@ -50,7 +50,7 @@
     "rimraf": "^5.0.5",
     "tmp": "^0.2.1",
     "ts-loader": "^9.5.0",
-    "typescript": "^5.2.2",
+    "typescript": "^5.3.2",
     "vs-verification-toolbox": "git+https://github.com/viperproject/vs-verification-toolbox.git",
     "vscode-languageclient": "^6.1.3",
     "vscode-uri": "^3.0.8",