Products

Released on GitHub

C5-DEC

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

Released on GitHub

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

Released on GitHub

Semi-Automated Threat Reconnaissance and Analysis (Platform | Powered by Description Logics)

Under development…

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

Under development…

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

Ongoing specification…

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