Back to Results
First PageMeta Content
Mathematical proof / RSA / PP / Provable security / Cryptography / Mathematics / Mathematical logic


CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft
Add to Reading List

Document Date: 2013-06-17 13:32:36


Open Document

File Size: 547,35 KB

Share Result on Facebook

City

Madrid / CertiCrypt Language / Méditerranée / /

Company

Microsoft / /

Country

France / /

Facility

INRIA Joint Centre / /

Organization

INRIA Joint Centre / /

Person

Sophia Antipolis / /

ProgrammingLanguage

V / K / C / /

Technology

cryptography / /

SocialTag