GitHub / AbstractionsLab 1 Repository
Verifiably secure digital solutions built upon solid mathematical foundations
AbstractionsLab/c5dec
C5-DEC (Common Criteria for Cybersecurity, Cryptography, Clouds – Design, Evaluation and Certification) part of the CyFORT project: 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
Language: Python - Size: 26.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
AbstractionsLab/satrap-dl
SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics) aims at the development of a platform for interactive computer-aided analysis of cyber threat intelligence driven by logic-based automated reasoning and inference.
Language: Python - Size: 5.01 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 1 - Forks: 0
AbstractionsLab/idps-escape
IDPS-ESCAPE (Intrusion Detection and Prevention Systems for Evading Supply Chain Attacks and Post-compromise Effects), part of the CyFORT project: open-source SOAR system powered by a dedicated ML-based anomaly detection toolbox (ADBox) integrated with open-source software such as Wazuh and Suricata.
Language: Python - Size: 55.9 MB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0