Products
![](https://abstractionslab.com/wp-content/uploads/2023/11/ALab-C5DEC-Logo-150x150.jpeg)
C5-DEC: Common Criteria for Cybersecurity, Cryptography, Clouds – Design, Evaluation and Certification
![](https://abstractionslab.com/wp-content/uploads/2024/09/IDPS-ESCAPE-temporary-logo-150x150.jpg)
Intrusion Detection and Prevention Systems for Evading Supply Chain Attacks and Post-compromise Effects
SATRAP-DL
Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics
Quantum Secure Encryption Box
A user-friendly encryption tool for secure local data storage, end-to-end exchange and signing, largely based on formally verified implementations of classical crypto and PQC algorithms
Post-Quantum Cryptography (PQC) Migration Toolkit
Description to be added soon…
Threat Modelling and System Security Risk Assessment Toolkit
Description to be added soon…