Products

C5-DEC

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

Intrusion Detection and Prevention Systems for Evading Supply Chain Attacks and Post-compromise Effects

Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics

A post-quantum crypto (PQC) tool for secure storage and authenticated end-to-end encrypted exchange via formally verified implementations

A tool aimed at facilitating the design and development of cryptographic tools according to the Common Criteria

Open-source suite of tools for Threat Analysis (TA) and system security Risk Assessment (RA) via Computer-Aided Design and Development