Research & Development

Cloud Cybersecurity Fortress of Open Resources and Tools for Resilience

Abstractions Lab, in collaboration with itrust consulting, develop the CyFORT project in the context of of the EC-approved IPCEI-CIS under the 8ra umbrella initiative.

IDPS-ESCAPE

Intrusion Detection and Prevention Systems – Enhanced Security through a Cooperative Anomaly Prediction Engine

IDPS-ESCAPE product presentation
IDPS-ESCAPE on GitHub

C5-DEC

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

C5-DEC CAD product presentation
C5-DEC on GitHub

DLT-PSaaS

Distributed Ledger Technology – Pseudonymization as a Service

WBaaS website

SATRAP-DL

Semi-Automated Threat Reconnaissance and Analysis Powered by DECIPHER Logic

SATRAP-DL product presentation
SATRAP-DL on GitHub | PyFlowintel on GitHub

CS-GRAM

Cloud services: Governance, Risk management, Audit, Monitoring

OpenTrick on GitHub

PQC-MAT

Post-Quantum Cryptography Migration Assistance Theory and Tools

A suite of tools bundled under VECTOR (VErified Cryptography & Transition via Observable Registry) soon available on GitHub…

Themes

Post-Quantum Cryptography, Formal Methods, Quantum Computing, automated reasoning, cyber threat intelligence, intrusion detection and prevention, Artificial Intelligence, Threat Modelling and Risk Assessment, Common Criteria, Secure Software Engineering, Verifiable Software, provable Information Security, Secure Software Development Life Cycle, Security Monitoring and Incident Handling

Interested in a collaboration? Contact us!

Learn More