32.jpg)
56.jpg)
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 hereVideo Link:
Watch it hereSustainable 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