Back to Results
First PageMeta Content
Function / XTR / Computability theory / Model theory / Μ operator / Primitive recursive function / Mathematics / Mathematical logic / Functions and mappings


Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3
Add to Reading List

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

Open Document

File Size: 315,03 KB

Share Result on Facebook

City

Madrid / /

Company

Case / Oracle / France 3 IMDEA Software / Microsoft / /

Country

France / /

Currency

USD / /

/

Event

FDA Phase / /

Facility

INRIA Joint Centre / /

IndustryTerm

polynomial algorithms / main tools / cryptographic applications / aggressive slicing algorithm / /

Organization

INRIA Joint Centre / U.S. Securities and Exchange Commission / GA AE / /

Person

Coq / Sophia Antipolis / /

Position

author / IND-CPA / Game IND-CPA / general-purpose proof assistant / representative / proof assistant / PrIND-CPA / /

Product

Fundamental Lemma / relational Hoare logic / CCA2 / DDH0 / /

ProgrammingLanguage

J / K / /

Technology

encryption / cryptography / three algorithms / public key / aggressive slicing algorithm / polynomial algorithms / dom / ElGamal encryption / certified algorithm / /

URL

http /

SocialTag