Hal Finney, Pretty Good Privacy bilgisayar yazılımları üreten PGP Corporation'da yazılım geliştirici (d. 1956)