User [val user.name]

SSH saves its public keys in ~/.ssh by default, with the extension .pub. Typical names are id_dsa.pub and id_rsa.pub