diff --git a/data/tools/kani.yml b/data/tools/kani.yml
index b289bfa83..ff2cf007b 100644
--- a/data/tools/kani.yml
+++ b/data/tools/kani.yml
@@ -3,7 +3,7 @@ categories:
   - wasd
 tags:
   - rust
-  - Security/SAST
+  - security
 license: 'MIT & Apache 2.0' 
 source: 'https://github.com/model-checking/kani'
 homepage: 'https://github.com/model-checking/kani'