Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
@AbstractionsLab

itrust Abstractions Lab

Verifiably secure digital solutions built upon solid mathematical foundations

Popular repositories Loading

  1. idps-escape idps-escape Public

    IDPS-ESCAPE (Intrusion Detection and Prevention Systems for Evading Supply Chain Attacks and Post-compromise Effects), part of project CyFORT: open-source SOAR system powered by a deep learning-bas…

    Python 12 2

  2. c5dec c5dec Public

    C5-DEC (Common Criteria for Cybersecurity, Cryptography, Clouds – Design, Evaluation and Certification) part of project CyFORT: a suite of methods and CAD tools dealing with the creation and evalua…

    Python 3

  3. satrap-dl satrap-dl Public

    SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics), part of project CyFORT, aims at the development of a platform for interactive computer-aided analysis of…

    Python 2 1

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 3 of 3 repositories
  • idps-escape Public

    IDPS-ESCAPE (Intrusion Detection and Prevention Systems for Evading Supply Chain Attacks and Post-compromise Effects), part of project CyFORT: open-source SOAR system powered by a deep learning-based anomaly detection toolbox (ADBox) and a risk-aware AD-based automated response (RADAR) subsystem integrated with OSS such as Wazuh and Suricata.

    AbstractionsLab/idps-escape’s past year of commit activity
    Python 12 AGPL-3.0 2 0 0 Updated Dec 18, 2025
  • satrap-dl Public

    SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics), part of project CyFORT, aims at the development of a platform for interactive computer-aided analysis of cyber threat intelligence driven by logic-based automated reasoning and inference.

    AbstractionsLab/satrap-dl’s past year of commit activity
    Python 2 AGPL-3.0 1 0 0 Updated Jun 20, 2025
  • c5dec Public

    C5-DEC (Common Criteria for Cybersecurity, Cryptography, Clouds – Design, Evaluation and Certification) part of project CyFORT: a suite of methods and CAD tools dealing with the creation and evaluation of secure IT systems according to the CC standards, capturing SSDLC, V&V, and our cyber-physical system security assessment method

    AbstractionsLab/c5dec’s past year of commit activity
    Python 3 AGPL-3.0 0 0 0 Updated May 12, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Morty Proxy This is a proxified and sanitized view of the page, visit original site.