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

METHOD FOR DIFFUSING AND OBTAINING INFORMATION, TRANSMITTER DEVICE, RECEIVER DEVICE AND SYSTEM FOR DIFFUSING AND OBTAINING INFORMATION

Countries

Spain

Telecom

METHOD FOR DETERMINING GEOMETRIC INFORMATION OF DEVICES IN MILLIMETER-WAVE NETWORKS

Countries

Spain

Telecom

AIRBORNE SYSTEMS AND METHOD FOR THE CHARACTERISATION AND MEASUREMENT OF RADIATING SYSTEMS OR ANTENNAS

Countries

Spain

Get back to patents directory