Add Allen's public key