diff --git a/machine/empyrean/default.nix b/machine/empyrean/default.nix
index b2407ab..6e0f3ce 100644
--- a/machine/empyrean/default.nix
+++ b/machine/empyrean/default.nix
@@ -163,6 +163,10 @@
     isNormalUser = true;
     group = "tvb";
     extraGroups = [ "wheel" ]; # Enable ‘sudo’ for the user.
+    openssh.authorizedKeys.keyFiles = [
+      ../../keys/tvb.palamas.pub
+      ../../keys/tvb.stagirite.pub
+    ];
   };
   users.groups.tvb = {};