Tools

Released on GitHub
C5-DEC CAD
Common Criteria for Cybersecurity, Cryptography, Clouds – Design, Evaluation and Certification

Released on GitHub
IDPS-ESCAPE
Intrusion Detection and Prevention Systems – Enhanced Security through a Cooperative Anomaly Prediction Engine
Released on GitHub
PQC-MAT ships VECTOR
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

