.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
METHOD FOR ESTABLISHING AND CLEARING PATHS AND FORWARDING FRAMES FOR TRANSPORT CONNECTIONS, AND NETWORK BRIDGE
Energy
Telecom
Other
VOLTAGE OR CURRENT HARMONICS MEASUREMENT METHOD FOR ELECTRICAL LINES APPLIED WITH TRANSFORMED WAVELET PACKETS
Telecom