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
Other related patents
Telecom
BRICKED SUB-WAVELENGTH PERIODIC WAVEGUIDE, MODAL ADAPTER, POWER DIVIDER AND POLARISATION SPLITTER THAT USE SAID WAVEGUIDE
Other
Telecom
QUANTUM RANDOM NUMBER GENERATOR
Other
Telecom