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

DOMOTIC APPLIANCE COMPATIBLE WITH THE STANDARDS CELENEC EN 50090 AND ISO/IEC 14543 FOR THE CONTROL OF ROBOTIC CAMERAS (MACHINE-TRANSLATION BY GOOGLE TRANSLATE, NOT LEGALLY BINDING)

Countries

Spain

Telecom

PHASE MODULATOR BASED ON SYNCHRONIZED OSCILLATORS.

Countries

Spain

Telecom

STRUCTURE FOR THE TRANSITION OF TWO SIGNAL TRANSMISSION LINES IN A PCB

Countries

No items found.

Get back to patents directory