Back to Results
First PageMeta Content
Functions and mappings / Model theory / Digital signal processing / Dirac delta function / Fourier analysis / Interpretation / Characteristic function / Distribution / Function / Mathematical analysis / Mathematics / Generalized functions


Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2 , Sylvain Heraud2 , Federico Olmedo1, and Santiago Zanella-B´eguelin3 1
Add to Reading List

Document Date: 2013-06-18 05:09:59

Open Document

File Size: 369,97 KB

Share Result on Facebook

/

Facility

IMDEA Software Institute / /

IndustryTerm

public-key cryptographic systems / cryptographic systems / attractive solution / prominent tool / secure systems / /

Organization

IMDEA Software Institute / /

Person

Benjamin Gr / /

Position

Coq proof assistant / /

ProgrammingLanguage

K / /

Technology

cryptography / Shallue-Woestijne-Ulas algorithm / /

SocialTag