GPG verification in SPECs