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

PHASE MODULATOR BASED ON SYNCHRONIZED OSCILLATORS.

Countries

Spain

Telecom

Other

CRYPTOGRAPHIC SYSTEM FOR PERFORMING SECURE COMPUTATIONS AND SIGNAL PROCESSING DIRECTLY ON ENCRYPTED DATA IN UNTRUSTED ENVIRONMENTS

Countries

Spain

Construction

Other

Telecom

Aerospace

Automotive & Rail

SYSTEM FOR IMPROVING THE DYNAMIC RANGE AND REDUCING MEASUREMENT UNCERTAINTY IN FIBRE OPTIC DISTRIBUTED SENSORS AND FIBRE OPTIC DISTRIBUTED MEASUREMENT EQUIPMENT

Countries

Spain

Get back to patents directory