32.jpg)
56.jpg)
ZooCrypt
Patent number:
No items found.
Fully Automated Analysis of Padding-Based Encryption in the Computational Model
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
ZooCrypt bundles together fully automated proof search and attack finding algorithms. Using the toolset in batch mode, we build a comprehensive database of encryption schemes that records attacks against insecure schemes, and proofs with concrete bounds for secure ones.
Comments
Open source software registration at US Copyright Office