First Page | Document Content | |
---|---|---|
Date: 2013-06-17 13:32:36Applied mathematics Proof of knowledge Zero-knowledge proof IP Communications protocol Vehicle Identification Number Formal verification NP XTR Theoretical computer science Cryptography Cryptographic protocols | Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel BarbosaAdd to Reading ListSource URL: certicrypt.gforge.inria.frDownload Document from Source WebsiteFile Size: 577,01 KBShare Document on Facebook |