Due to a vulnerability in Debian's OpenSSL implementation, the RSA and DSA host keys for salami, and the DSA key for stanley, have changed. Fingerprints of the new keys are available at compsoc-ssh-keys.asc, signed by Michael Howe's GPG key.