{"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-06-26T11:39:20","modified_gmt":"2026-06-26T11:39:20","slug":"tools","status":"publish","type":"page","link":"https:\/\/abstractionslab.com\/index.php\/tools\/","title":{"rendered":"Tools"},"content":{"rendered":"\n
\n

Tools<\/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
\"\"<\/div>
Released on GitHub<\/a><\/span>

PQC-MAT ships VECTOR<\/mark><\/a><\/h3><\/div>

PQC-MAT (Post-Quantum Cryptography Migration Assistance theory and Tools) ships VECTOR, a PQC migration toolkit<\/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<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

Tools<\/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":"\nTools - 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\/tools\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Tools - 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\/tools\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-26T11:39:20+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\\\/tools\\\/\",\"url\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/tools\\\/\",\"name\":\"Tools - Abstractions Lab\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/tools\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/tools\\\/#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-06-26T11:39:20+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\\\/tools\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/tools\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/tools\\\/#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\\\/tools\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/abstractionslab.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Tools\"}]},{\"@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":"Tools - 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\/tools\/","og_locale":"en_GB","og_type":"article","og_title":"Tools - 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\/tools\/","og_site_name":"Abstractions Lab","article_modified_time":"2026-06-26T11:39:20+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\/tools\/","url":"https:\/\/abstractionslab.com\/index.php\/tools\/","name":"Tools - Abstractions Lab","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/tools\/#primaryimage"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/tools\/#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-06-26T11:39:20+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\/tools\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/tools\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/index.php\/tools\/#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\/tools\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"Tools"}]},{"@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":"Tools","_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":64,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1046\/revisions"}],"predecessor-version":[{"id":2346,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1046\/revisions\/2346"}],"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}]}}