Back to Results
First PageMeta Content
Advantage / Pseudorandom function family / Expected value / Function / Lemmas / Probability theory / Pseudorandom generator / Cryptography / Mathematics / Pseudorandomness


Programming Language Techniques for Cryptographic Proofs⋆ Gilles Barthe1 , Benjamin Gr´egoire2, and Santiago Zanella B´eguelin1 1 IMDEA Software, Madrid, Spain, {Gilles.Barthe,Santiago.Zanella}@imdea.org
Add to Reading List

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

Open Document

File Size: 218,04 KB

Share Result on Facebook

City

Madrid / /

Company

Oracle / Jc2 Kg / Jc1 Kg / Microsoft / IMDEA Software / /

Country

France / Spain / /

Currency

pence / /

/

IndustryTerm

language tools / symmetric-key systems / specific tools / /

Organization

French ANR / Microsoft Research-INRIA Joint Centre / U.S. Securities and Exchange Commission / /

Person

Benjamin Gr / Sophia Antipolis / Santiago Zanella / /

Position

Coq proof assistant / /

ProgrammingLanguage

L / /

Technology

encryption / dom / /

SocialTag