Using PGP

Our PGP Key Server allows DEI users to store their PGP keys and retrieve other users' PGP keys. PGP Keys can be searched, uploaded or downloaded using the Web Interface available at http://pgp.dei.uc.pt.

Email interface to the PGP Key Server

The Key Server also allows the user to search, upload or download keys using Email. Just send an email message to pgp@pgp.dei.uc.pt with the word “help” as the subject of the message. You will receive information on how to use the Server.

Contacting the PGP Key Server from the command line

When using Linux (e.g. eden.dei.uc.pt or student.dei.uc.pt), or other UNIX derived system, the PGP Key Server can be contacted using GnuPG as in the following examples:

# Search for PGP Keys on the Server:
gpg --keyserver pgp.dei.uc.pt --search-keys nuno

# Retrieve a specific PGP Key from the Server:
gpg --keyserver pgp.dei.uc.pt --recv-keys 83211323

# Send a PGP Key to the Key Server:
gpg --keyserver pgp.dei.uc.pt --send-keys 6385D876

Please note that in the last two examples the numerical ID for the Key identifies the PGP Key on the Key Server or on the user’s PGP Key Ring. Also refer to http://gnupg.org for more information about GnuPG and PGP in general.