{"id":1753,"date":"2025-03-30T10:30:00","date_gmt":"2025-03-30T10:30:00","guid":{"rendered":"https:\/\/abstractionslab.com\/?p=1753"},"modified":"2026-03-16T17:04:31","modified_gmt":"2026-03-16T17:04:31","slug":"alpha-release-of-satrap-dl","status":"publish","type":"post","link":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/","title":{"rendered":"Alpha Release of SATRAP-DL on 30 March 2025"},"content":{"rendered":"\n<p class=\"has-text-align-center has-medium-font-size\">We have released the Alpha version of <a href=\"https:\/\/github.com\/AbstractionsLab\/satrap-dl\" target=\"_blank\" rel=\"noreferrer noopener\"><strong><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-ast-global-color-0-color\">SATRAP on GitHub<\/mark><\/strong><\/a>!<\/p>\n\n\n\n<figure class=\"wp-block-image aligncenter size-full is-resized has-custom-border is-style-default\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"1024\" src=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg\" alt=\"SATRAP logo\" class=\"wp-image-1731\" style=\"border-style:none;border-width:0px;border-radius:20px;object-fit:cover;width:150px;height:150px\" srcset=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg 1024w, https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0-300x300.jpg 300w, https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0-150x150.jpg 150w, https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0-768x768.jpg 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">What is <a href=\"https:\/\/github.com\/AbstractionsLab\/satrap-dl\" target=\"_blank\" rel=\"noreferrer noopener\"><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-ast-global-color-0-color\">SATRAP<\/mark><\/a>?<\/h2>\n\n\n\n<p>Developed in the context of the SATRAP-DL subproject of <a href=\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/cyfort\/\">CyFORT<\/a>, <strong>SATRAP<\/strong> (Semi-Automated Threat Reconnaissance and Analysis Platform) is an open-source, cross-platform software for computer-aided analysis of Cyber Threat Intelligence (CTI) through automated reasoning.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">key features<\/h2>\n\n\n\n<div class=\"wp-block-uagb-icon-list uagb-block-c04c090b\"><div class=\"uagb-icon-list__wrap\">\n<div class=\"wp-block-uagb-icon-list-child uagb-block-d4e13487\"><span class=\"uagb-icon-list__source-wrap\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M256 0C114.6 0 0 114.6 0 256c0 141.4 114.6 256 256 256s256-114.6 256-256C512 114.6 397.4 0 256 0zM406.6 278.6l-103.1 103.1c-12.5 12.5-32.75 12.5-45.25 0s-12.5-32.75 0-45.25L306.8 288H128C110.3 288 96 273.7 96 256s14.31-32 32-32h178.8l-49.38-49.38c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0l103.1 103.1C414.6 241.3 416 251.1 416 256C416 260.9 414.6 270.7 406.6 278.6z\"><\/path><\/svg><\/span><span class=\"uagb-icon-list__label\"><strong>Knowledge Representation System<\/strong> for Cyber Threat Intelligence implemented on top of TypeDB.<a href=\"https:\/\/typedb.com\/\" target=\"_blank\" rel=\"noreferrer noopener\"><\/a><a href=\"https:\/\/typedb.com\/features\"><\/a><\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-icon-list-child uagb-block-24be409a\"><span class=\"uagb-icon-list__source-wrap\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M256 0C114.6 0 0 114.6 0 256c0 141.4 114.6 256 256 256s256-114.6 256-256C512 114.6 397.4 0 256 0zM406.6 278.6l-103.1 103.1c-12.5 12.5-32.75 12.5-45.25 0s-12.5-32.75 0-45.25L306.8 288H128C110.3 288 96 273.7 96 256s14.31-32 32-32h178.8l-49.38-49.38c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0l103.1 103.1C414.6 241.3 416 251.1 416 256C416 260.9 414.6 270.7 406.6 278.6z\"><\/path><\/svg><\/span><span class=\"uagb-icon-list__label\"><strong>Automated Reasoning<\/strong>: Apply predefined deduction rules to derive new knowledge from existing CTI data.<\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-icon-list-child uagb-block-b1e08a3b\"><span class=\"uagb-icon-list__source-wrap\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M256 0C114.6 0 0 114.6 0 256c0 141.4 114.6 256 256 256s256-114.6 256-256C512 114.6 397.4 0 256 0zM406.6 278.6l-103.1 103.1c-12.5 12.5-32.75 12.5-45.25 0s-12.5-32.75 0-45.25L306.8 288H128C110.3 288 96 273.7 96 256s14.31-32 32-32h178.8l-49.38-49.38c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0l103.1 103.1C414.6 241.3 416 251.1 416 256C416 260.9 414.6 270.7 406.6 278.6z\"><\/path><\/svg><\/span><span class=\"uagb-icon-list__label\"><strong>STIX 2.1 Data Model<\/strong>: Leverage a widely adopted standard for representing and dealing with CTI information.<\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-icon-list-child uagb-block-a0609e6f\"><span class=\"uagb-icon-list__source-wrap\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M256 0C114.6 0 0 114.6 0 256c0 141.4 114.6 256 256 256s256-114.6 256-256C512 114.6 397.4 0 256 0zM406.6 278.6l-103.1 103.1c-12.5 12.5-32.75 12.5-45.25 0s-12.5-32.75 0-45.25L306.8 288H128C110.3 288 96 273.7 96 256s14.31-32 32-32h178.8l-49.38-49.38c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0l103.1 103.1C414.6 241.3 416 251.1 416 256C416 260.9 414.6 270.7 406.6 278.6z\"><\/path><\/svg><\/span><span class=\"uagb-icon-list__label\"><strong>ETL Mechanism<\/strong>: Ingest STIX 2.1-compliant data from CTI sources into the knowledge base.<\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-icon-list-child uagb-block-b8d3d9c0\"><span class=\"uagb-icon-list__source-wrap\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M256 0C114.6 0 0 114.6 0 256c0 141.4 114.6 256 256 256s256-114.6 256-256C512 114.6 397.4 0 256 0zM406.6 278.6l-103.1 103.1c-12.5 12.5-32.75 12.5-45.25 0s-12.5-32.75 0-45.25L306.8 288H128C110.3 288 96 273.7 96 256s14.31-32 32-32h178.8l-49.38-49.38c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0l103.1 103.1C414.6 241.3 416 251.1 416 256C416 260.9 414.6 270.7 406.6 278.6z\"><\/path><\/svg><\/span><span class=\"uagb-icon-list__label\"><strong>Predefined Analytic Functions<\/strong>: Perform automated CTI analysis tasks, such as inferring techniques and tools <br><br>used by threat actors.<\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-icon-list-child uagb-block-a780988f\"><span class=\"uagb-icon-list__source-wrap\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M256 0C114.6 0 0 114.6 0 256c0 141.4 114.6 256 256 256s256-114.6 256-256C512 114.6 397.4 0 256 0zM406.6 278.6l-103.1 103.1c-12.5 12.5-32.75 12.5-45.25 0s-12.5-32.75 0-45.25L306.8 288H128C110.3 288 96 273.7 96 256s14.31-32 32-32h178.8l-49.38-49.38c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0l103.1 103.1C414.6 241.3 416 251.1 416 256C416 260.9 414.6 270.7 406.6 278.6z\"><\/path><\/svg><\/span><span class=\"uagb-icon-list__label\"><strong>Extensibility<\/strong>: Add custom inference rules and queries to tailor SATRAP to your specific needs.<\/span><\/div>\n<\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">How does SATRAP Automate Analytic Tasks?<\/h2>\n\n\n\n<p>At the core, SATRAP relies on a <strong>Knowledge Representation System (KRS)<\/strong> to introduce semantics into the storage, processing, and analysis of cyber threat intelligence. This approach allows SATRAP to automate analytic tasks on large volumes of threat information and CTI via the logical derivation of knowledge.<\/p>\n\n\n\n<p>  The KRS consists of:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>A <strong>knowledge base<\/strong> of cyber threat intelligence (<strong>CTI SKB<\/strong>). This KB captures concepts and facts in the CTI domain, such as threat scenarios or attack techniques.<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>An <strong>inference engine<\/strong>, which draws logical conclusions from the information in the knowledge base following deduction rules.<\/li>\n<\/ul>\n\n\n\n<p>The KRS of SATRAP is implemented using <a href=\"https:\/\/typedb.com\/\" target=\"_blank\" rel=\"noreferrer noopener\">TypeDB<\/a>, a polymorphic database with a native symbolic reasoning engine. The use of TypeDB allows SATRAP to implement analytic functions in the domain of CTI on top of an integrated core, where the knowledge base and the reasoning engine are natively coupled, typically allowing for an efficient execution of inference tasks.<\/p>\n\n\n\n<p>The analytic functions of SATRAP run CTI-related queries on the KRS and get explainable answers, showing the steps that led to the answer. Unlike with regular databases, these answers might include not only actual information in the CTI knowledge base but also relationships inferred from this information.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">How can We use SATRAP?<\/h2>\n\n\n\n<p>The Alpha version of SATRAP features two native user interfaces and integration with other open-source tools for carrying out structured CTI investigations.<\/p>\n\n\n\n<p><strong>SATRAP<\/strong> <strong>Python CTI Analysis Toolbox<\/strong>: A Python library providing a set of functions that perform automated reasoning streamlining specific CTI analysis questions. For instance, the Toolbox exposes a function to find out the set of courses of action that mitigate any of the techniques used by a given group. The function returns explicit mitigations and logically derived ones, along with a trace of the deductive steps that lead to adding a course of action to the answer set.<\/p>\n\n\n\n<p><strong>SATRAP command-line interface<\/strong>: The SATRAP CLI allows to set up a CTI knowledge base with datasets in STIX 2.1 format. <\/p>\n\n\n\n<p><strong>Jupyter Notebooks<\/strong>: Explore, analyze, document and visualize cyber threat intelligence using Jupyter Notebooks, importing the Python Toolbox of SATRAP in a flexible, interactive environment to create playbooks and to carry out step-by-step investigations.<\/p>\n\n\n\n<p>Learn more about how to use SATRAP through the <a href=\"https:\/\/github.com\/AbstractionsLab\/satrap-dl\/blob\/main\/docs\/manual\/satrap\/README.md\" target=\"_blank\" rel=\"noreferrer noopener\">user manua<\/a>l and examples available in the GitHub repository.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Get Started<\/h2>\n\n\n\n<p>We invite you to try out the software and explore details in the GitHub repository. The technical specifications and project documentation of SATRAP-DL including requirements, architectural and software diagrams, test case specifications, and test reports, are accessible via our <a href=\"https:\/\/abstractionslab.github.io\/satrap-dl\/traceability\/index.html\" target=\"_blank\" rel=\"noreferrer noopener\">traceability web page<\/a>.<\/p>\n\n\n\n<p>We will be happy to receive your feedback at info@abstractionslab.lu.<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>We have released the Alpha version of SATRAP on GitHub! What is SATRAP? Developed in the context of the SATRAP-DL [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"set","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[6,11],"tags":[9],"class_list":["post-1753","post","type-post","status-publish","format-standard","hentry","category-cyfort","category-satrap-dl","tag-software-release-2"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Alpha Release of SATRAP-DL on 30 March 2025 - Abstractions Lab<\/title>\n<meta name=\"description\" content=\"Alpha release of SATRAP by Abstractions Lab on GitHub. SATRAP is an open-source platform for computer-aided CTI analysis via automated reasoning.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Alpha Release of SATRAP-DL on 30 March 2025 - Abstractions Lab\" \/>\n<meta property=\"og:description\" content=\"Alpha release of SATRAP by Abstractions Lab on GitHub. SATRAP is an open-source platform for computer-aided CTI analysis via automated reasoning.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:published_time\" content=\"2025-03-30T10:30:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-16T17:04:31+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1024\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Itzel\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Itzel\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\"},\"author\":{\"name\":\"Itzel\",\"@id\":\"https:\/\/abstractionslab.com\/#\/schema\/person\/654fba12401bddd0edefae67f18dd425\"},\"headline\":\"Alpha Release of SATRAP-DL on 30 March 2025\",\"datePublished\":\"2025-03-30T10:30:00+00:00\",\"dateModified\":\"2026-03-16T17:04:31+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\"},\"wordCount\":575,\"publisher\":{\"@id\":\"https:\/\/abstractionslab.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg\",\"keywords\":[\"software-release\"],\"articleSection\":[\"CyFORT\",\"SATRAP-DL\"],\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\",\"url\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\",\"name\":\"Alpha Release of SATRAP-DL on 30 March 2025 - Abstractions Lab\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg\",\"datePublished\":\"2025-03-30T10:30:00+00:00\",\"dateModified\":\"2026-03-16T17:04:31+00:00\",\"description\":\"Alpha release of SATRAP by Abstractions Lab on GitHub. SATRAP is an open-source platform for computer-aided CTI analysis via automated reasoning.\",\"breadcrumb\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage\",\"url\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg\",\"contentUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg\",\"width\":1024,\"height\":1024,\"caption\":\"Logo-SATRAP\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/abstractionslab.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Alpha Release of SATRAP-DL on 30 March 2025\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/abstractionslab.com\/#website\",\"url\":\"https:\/\/abstractionslab.com\/\",\"name\":\"Abstractions Lab\",\"description\":\"Verifiably secure digital solutions built upon solid mathematical foundations\",\"publisher\":{\"@id\":\"https:\/\/abstractionslab.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/abstractionslab.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/abstractionslab.com\/#organization\",\"name\":\"itrust Abstractions Lab\",\"url\":\"https:\/\/abstractionslab.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/abstractionslab.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/02\/3A1_LOG_AbstractionsLab_v2.0.png\",\"contentUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/02\/3A1_LOG_AbstractionsLab_v2.0.png\",\"width\":1200,\"height\":600,\"caption\":\"itrust Abstractions Lab\"},\"image\":{\"@id\":\"https:\/\/abstractionslab.com\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/github.com\/AbstractionsLab\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/abstractionslab.com\/#\/schema\/person\/654fba12401bddd0edefae67f18dd425\",\"name\":\"Itzel\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/d6138f7185be67ba20e8be33813a1624e3658c11d4d72806c6adee3fcf6fdbac?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/d6138f7185be67ba20e8be33813a1624e3658c11d4d72806c6adee3fcf6fdbac?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/d6138f7185be67ba20e8be33813a1624e3658c11d4d72806c6adee3fcf6fdbac?s=96&d=mm&r=g\",\"caption\":\"Itzel\"},\"url\":\"https:\/\/abstractionslab.com\/index.php\/author\/editor3158\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Alpha Release of SATRAP-DL on 30 March 2025 - Abstractions Lab","description":"Alpha release of SATRAP by Abstractions Lab on GitHub. SATRAP is an open-source platform for computer-aided CTI analysis via automated reasoning.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/","og_locale":"en_GB","og_type":"article","og_title":"Alpha Release of SATRAP-DL on 30 March 2025 - Abstractions Lab","og_description":"Alpha release of SATRAP by Abstractions Lab on GitHub. SATRAP is an open-source platform for computer-aided CTI analysis via automated reasoning.","og_url":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/","og_site_name":"Abstractions Lab","article_published_time":"2025-03-30T10:30:00+00:00","article_modified_time":"2026-03-16T17:04:31+00:00","og_image":[{"width":1024,"height":1024,"url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg","type":"image\/jpeg"}],"author":"Itzel","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Itzel","Estimated reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#article","isPartOf":{"@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/"},"author":{"name":"Itzel","@id":"https:\/\/abstractionslab.com\/#\/schema\/person\/654fba12401bddd0edefae67f18dd425"},"headline":"Alpha Release of SATRAP-DL on 30 March 2025","datePublished":"2025-03-30T10:30:00+00:00","dateModified":"2026-03-16T17:04:31+00:00","mainEntityOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/"},"wordCount":575,"publisher":{"@id":"https:\/\/abstractionslab.com\/#organization"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage"},"thumbnailUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg","keywords":["software-release"],"articleSection":["CyFORT","SATRAP-DL"],"inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/","url":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/","name":"Alpha Release of SATRAP-DL on 30 March 2025 - Abstractions Lab","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage"},"thumbnailUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg","datePublished":"2025-03-30T10:30:00+00:00","dateModified":"2026-03-16T17:04:31+00:00","description":"Alpha release of SATRAP by Abstractions Lab on GitHub. SATRAP is an open-source platform for computer-aided CTI analysis via automated reasoning.","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#primaryimage","url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg","contentUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/03\/2D1B2_LOG_SATRAP-Alpha_v1.0.jpg","width":1024,"height":1024,"caption":"Logo-SATRAP"},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/index.php\/2025\/03\/30\/alpha-release-of-satrap-dl\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"Alpha Release of SATRAP-DL on 30 March 2025"}]},{"@type":"WebSite","@id":"https:\/\/abstractionslab.com\/#website","url":"https:\/\/abstractionslab.com\/","name":"Abstractions Lab","description":"Verifiably secure digital solutions built upon solid mathematical foundations","publisher":{"@id":"https:\/\/abstractionslab.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/abstractionslab.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/abstractionslab.com\/#organization","name":"itrust Abstractions Lab","url":"https:\/\/abstractionslab.com\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/#\/schema\/logo\/image\/","url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/02\/3A1_LOG_AbstractionsLab_v2.0.png","contentUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2025\/02\/3A1_LOG_AbstractionsLab_v2.0.png","width":1200,"height":600,"caption":"itrust Abstractions Lab"},"image":{"@id":"https:\/\/abstractionslab.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/github.com\/AbstractionsLab"]},{"@type":"Person","@id":"https:\/\/abstractionslab.com\/#\/schema\/person\/654fba12401bddd0edefae67f18dd425","name":"Itzel","image":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/secure.gravatar.com\/avatar\/d6138f7185be67ba20e8be33813a1624e3658c11d4d72806c6adee3fcf6fdbac?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d6138f7185be67ba20e8be33813a1624e3658c11d4d72806c6adee3fcf6fdbac?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d6138f7185be67ba20e8be33813a1624e3658c11d4d72806c6adee3fcf6fdbac?s=96&d=mm&r=g","caption":"Itzel"},"url":"https:\/\/abstractionslab.com\/index.php\/author\/editor3158\/"}]}},"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"Itzel","author_link":"https:\/\/abstractionslab.com\/index.php\/author\/editor3158\/"},"uagb_comment_info":0,"uagb_excerpt":"We have released the Alpha version of SATRAP on GitHub! What is SATRAP? Developed in the context of the SATRAP-DL [&hellip;]","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts\/1753","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/comments?post=1753"}],"version-history":[{"count":43,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts\/1753\/revisions"}],"predecessor-version":[{"id":2169,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts\/1753\/revisions\/2169"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=1753"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/categories?post=1753"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/tags?post=1753"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}