Frank Pfenning Contact: fp@cs.cmu.edu Projects Trust from Explicit Evidence; Integrating Digital Signatures and Formal Proofs