Back to Results
First PageMeta Content
Cryptography / Error detection and correction / Mathematics / Digital signature / Hash function / Coding theory / Public-key cryptography / Substitution / Fuzzy extractor


Formally Certifying the Security of Digital Signature Schemes Santiago Zanella B´eguelin Benjamin Gr´egoire INRIA Sophia Antipolis - M´editerran´ee Microsoft Research - INRIA Joint Centre {Santiago.Zanella,Benjamin.G
Add to Reading List

Document Date: 2013-03-13 12:33:24


Open Document

File Size: 233,46 KB

Share 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