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 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…

A piece of software aimed at facilitating the design and development of cryptographic software 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