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 here

Video Link:

Watch it here

Sustainable 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

SYSTEM AND METHOD FOR FINGERPRINT AND PALMPRINT COMPARISON BASED ON MULTIPLE DEFORMABLES.

Countries

Spain

Telecom

METHOD AND SYSTEM FOR MASKING AND SELECTIVE NOISE CANCELLATION (MACHINE-TRANSLATION BY GOOGLE TRANSLATE, NOT LEGALLY BINDING)

Countries

Spain

Telecom

BRICKED SUB-WAVELENGTH PERIODIC WAVEGUIDE, MODAL ADAPTER, POWER DIVIDER AND POLARISATION SPLITTER THAT USE SAID WAVEGUIDE

Countries

Spain

Get back to patents directory