diff --git a/flake.nix b/flake.nix
index 14baded..658b06e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -114,6 +114,7 @@
             inherit (pkgs.proof-proverif) CRYPTOVERIF_LIB;
             inputsFrom = [ pkgs.rosenpass ];
             nativeBuildInputs = with pkgs; [
+              cargo-audit
               cargo-release
               rustfmt
               nodePackages.prettier