![Cryptography / Error detection and correction / Mathematics / Digital signature / Hash function / Coding theory / Public-key cryptography / Substitution / Fuzzy extractor Cryptography / Error detection and correction / Mathematics / Digital signature / Hash function / Coding theory / Public-key cryptography / Substitution / Fuzzy extractor](https://www.pdfsearch.io/img/f7aeb86c25ad94bbe0de4cae53531e97.jpg)
| Document Date: 2013-03-13 12:33:24 Open Document File Size: 233,46 KBShare Result on Facebook
Company Microsoft / Gilles Barthe Federico Olmedo IMDEA Software / / / Facility INRIA Joint Centre / / IndustryTerm secure cryptographic systems / signature verification algorithm / cryptographic systems / factorization algorithm / / Organization INRIA Joint Centre / / Person Nat / Benjamin Gr´egoire / Santiago Zanella B´eguelin / Sophia Antipolis / / Position general purpose proof assistant / proof assistant / guard / partial evaluator / Coq proof assistant / / Product CertiCrypt / Pentax K-x Digital Camera / / ProgrammingLanguage K / L / / Technology factorization algorithm / private key / dom / secret key / simulation / public key / Digital Signature / signature verification algorithm / /
SocialTag |