Products
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: introducing VECTOR
Post-Quantum Cryptography Migration Assistance Theory and Tools. Currently provides subsystem VECTOR (VErified Cryptography & Transition via Observable Registry)