OpenPGP keys used by the strace project
