{"id":1046,"date":"2022-12-31T00:08:43","date_gmt":"2022-12-31T00:08:43","guid":{"rendered":"http:\/\/abstractionslab.com\/?page_id=1046"},"modified":"2026-03-23T19:18:50","modified_gmt":"2026-03-23T19:18:50","slug":"products","status":"publish","type":"page","link":"https:\/\/abstractionslab.com\/index.php\/products\/","title":{"rendered":"Products"},"content":{"rendered":"\n
\n

Products<\/h1><\/div>\n<\/div>\n\n\n\n
\n
\n
\"\"<\/div>
Released on GitHub<\/a><\/span>

C5-DEC CAD<\/mark><\/a><\/h2><\/div>

C<\/strong>ommon C<\/strong>riteria for C<\/strong>ybersecurity, C<\/strong>ryptography, C<\/strong>louds \u2013 D<\/strong>esign, E<\/strong>valuation and C<\/strong>ertification<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
\"IDPS-ESCAPE<\/div>
Released on GitHub<\/a><\/span>

IDPS-ESCAPE<\/mark><\/a><\/h2><\/div>

I<\/span><\/strong>ntrusion D<\/span><\/strong>etection and P<\/span><\/strong>revention S<\/span><\/strong>ystems – E<\/span><\/strong>nhanced S<\/span><\/strong>ecurity through a C<\/span><\/strong>ooperative A<\/span><\/strong>nomaly P<\/span><\/strong>rediction E<\/span><\/strong>ngine<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
\"SATRAP-DL<\/div>
Released on GitHub<\/a><\/span>

SATRAP-DL<\/mark><\/a><\/h2><\/div>

S<\/span><\/strong>emi-A<\/span><\/strong>utomated T<\/span><\/strong>hreat R<\/span><\/strong>econnaissance and A<\/span><\/strong>nalysis P<\/span><\/strong>owered by D<\/span><\/strong>ECIPHER L<\/span><\/strong>ogic<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
<\/path><\/svg><\/div>
Under development…<\/span>

QuSeCryptor<\/h3><\/div>

A quantum-safe tool for end-to-end secure exchange and storage of content, powered by formally verified implementations of PQC and classical schemes<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
<\/path><\/svg><\/div>
Under development…<\/span>

CryptoCeVerif<\/h3><\/div>

A piece of software aimed at facilitating the design and development of quantum-safe cryptographic software according to the Common Criteria<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
<\/path><\/svg><\/div>
Under development…<\/span>

PQC-aware TARA CAD toolkit<\/h3><\/div>

Open-source suite of tools for cryptography-aware Threat Analysis (TA) and system security Risk Assessment (RA) via Computer-Aided Design and Development for PQC migration<\/p><\/div><\/div>\n<\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

Products<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"content-boxed-container","ast-site-content-layout":"full-width-container","site-content-style":"unboxed","site-sidebar-style":"unboxed","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":"disabled","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":""},"class_list":["post-1046","page","type-page","status-publish","hentry"],"yoast_head":"\nProducts - Abstractions Lab<\/title>\n<meta name=\"description\" content=\"This page describes our products and tools, developed both as part of our R&D and service activities as well as internally developed ones.\" \/>\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\/products\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Products - Abstractions Lab\" \/>\n<meta property=\"og:description\" content=\"This page describes our products and tools, developed both as part of our R&D and service activities as well as internally developed ones.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/index.php\/products\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-23T19:18:50+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2-150x150.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/products\/\",\"url\":\"https:\/\/abstractionslab.com\/index.php\/products\/\",\"name\":\"Products - Abstractions Lab\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/products\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/products\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2-150x150.png\",\"datePublished\":\"2022-12-31T00:08:43+00:00\",\"dateModified\":\"2026-03-23T19:18:50+00:00\",\"description\":\"This page describes our products and tools, developed both as part of our R&D and service activities as well as internally developed ones.\",\"breadcrumb\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/products\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/abstractionslab.com\/index.php\/products\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/products\/#primaryimage\",\"url\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2.png\",\"contentUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2.png\",\"width\":880,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/products\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/abstractionslab.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Products\"}]},{\"@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\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Products - Abstractions Lab","description":"This page describes our products and tools, developed both as part of our R&D and service activities as well as internally developed ones.","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\/products\/","og_locale":"en_GB","og_type":"article","og_title":"Products - Abstractions Lab","og_description":"This page describes our products and tools, developed both as part of our R&D and service activities as well as internally developed ones.","og_url":"https:\/\/abstractionslab.com\/index.php\/products\/","og_site_name":"Abstractions Lab","article_modified_time":"2026-03-23T19:18:50+00:00","og_image":[{"url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2-150x150.png","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/abstractionslab.com\/index.php\/products\/","url":"https:\/\/abstractionslab.com\/index.php\/products\/","name":"Products - Abstractions Lab","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/products\/#primaryimage"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/products\/#primaryimage"},"thumbnailUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2-150x150.png","datePublished":"2022-12-31T00:08:43+00:00","dateModified":"2026-03-23T19:18:50+00:00","description":"This page describes our products and tools, developed both as part of our R&D and service activities as well as internally developed ones.","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/index.php\/products\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/products\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/index.php\/products\/#primaryimage","url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2.png","contentUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/03\/3D3B2B_LOG_C5DEC-DarkLogo-Cropped_v1.2.png","width":880,"height":720},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/index.php\/products\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"Products"}]},{"@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"]}]}},"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"Arash","author_link":"https:\/\/abstractionslab.com\/index.php\/author\/arash\/"},"uagb_comment_info":0,"uagb_excerpt":"Products","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1046","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/comments?post=1046"}],"version-history":[{"count":59,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1046\/revisions"}],"predecessor-version":[{"id":2246,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1046\/revisions\/2246"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=1046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}