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 FOR ACCESS TO SECURE DATA NETWORKS

Countries

Spain

Telecom

Post-quantum encryption and decryption method using linear codes

Countries

Spain

Telecom

DEVICE AND METHOD FOR THE TRAINING AND IDENTIFICATION OF CONTACTLESS CARDS BY MEANS OF CHARACTERISATION BY RADIOFREQUENCY

Countries

Spain

Get back to patents directory