Tools

Tools

Released on GitHub

C5-DEC CAD

Common Criteria for Cybersecurity, Cryptography, Clouds – Design, Evaluation and Certification

IDPS-ESCAPE logo
Released on GitHub

IDPS-ESCAPE

Intrusion Detection and Prevention Systems – Enhanced Security through a Cooperative Anomaly Prediction Engine

SATRAP-DL logo
Released on GitHub

SATRAP-DL

Semi-Automated Threat Reconnaissance and Analysis Powered by DECIPHER Logic

PQC-MAT (Post-Quantum Cryptography Migration Assistance theory and Tools) ships VECTOR, a PQC migration toolkit

Under development…

QuSeCryptor

A quantum-safe tool for end-to-end secure exchange and storage of content, powered by formally verified implementations of PQC and classical schemes

Under development…

CryptoCeVerif

A piece of software aimed at facilitating the design and development of quantum-safe cryptographic software according to the Common Criteria

Scroll to Top