Trust from Explicit Evidence; Integrating Digital Signatures and Formal Proofs
Lead PI:
Frank Pfenning
Abstract

ABOUT THE PROJECT:

 

 

OUR TEAM:

Frank Pfenning

Frank Pfenning