EasyCrypt: Computer-Aided Cryptographic Proofs

Patent number:

No items found.

EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code.

Countries:

Spain

Regions:

Community of Madrid

Centers:

FUNDACION IMDEA SOFTWARE

Other entities:

Sectors:

Telecom

Subsectors:

TRL Level:

TRL 4 – technology validated in lab

BRL Level:

PDF Link:

Download here

Video Link:

Watch it here

Sustainable Development Goal:

Applications

Its main application is the construction and verification of game-based cryptographic proofs. EasyCrypt can also be used for reasoning about (vanilla, approximate, and computational) differential privacy.

Comments

Open source software registration at US Copyright Office

Other related patents

Telecom

Other

Energy

METHOD AND SYSTEM FOR DETECTING TEMPORARY DISTURBANCES IN THE VOLTAGE OF A POWER SUPPLY

Countries

Spain

Telecom

Circular Economy

Energy

METHOD FOR RECYCLING PRINTED CIRCUIT PLATES (MACHINE-TRANSLATION BY GOOGLE TRANSLATE, NOT LEGALLY BINDING)

Countries

Spain

Telecom

Other

CRYPTOGRAPHIC SYSTEM FOR PERFORMING SECURE ITERATIVE COMPUTATIONS AND SIGNAL PROCESSING DIRECTLY ON ENCRYPTED DATA IN UNTRUSTED ENVIRONMENTS

Countries

Spain

Get back to patents directory