{"id":1052,"date":"2022-12-31T00:13:40","date_gmt":"2022-12-31T00:13:40","guid":{"rendered":"http:\/\/abstractionslab.com\/?page_id=1052"},"modified":"2026-03-17T16:08:50","modified_gmt":"2026-03-17T16:08:50","slug":"research-and-development","status":"publish","type":"page","link":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/","title":{"rendered":"R&D"},"content":{"rendered":"\n
\n

Research & Development<\/h1><\/div>\n<\/div><\/div>\n\n\n\n
\n
\"\"<\/div>

Cloud Cybersecurity Fortress of Open Resources and Tools for Resilience<\/a><\/h3><\/div>

Abstractions Lab, in collaboration with itrust consulting, develop the CyFORT project in the context of of the EC<\/a>-approved IPCEI-CIS<\/a> under the 8ra umbrella initiative<\/a>.<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
\n
\"\"<\/div>
<\/div>

IDPS-ESCAPE<\/a><\/h4><\/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

IDPS-ESCAPE product presentation<\/a>
IDPS-ESCAPE on GitHub<\/mark><\/a><\/p><\/div><\/div>\n\n\n\n

\"\"<\/div>
<\/div>

C5-DEC<\/a><\/h4><\/div>

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

C5-DEC CAD product presentation<\/a>
C5-DEC on GitHub<\/mark><\/a>
<\/p><\/div><\/div>\n\n\n\n

\"\"<\/div>
<\/div>


DLT-PSaaS<\/h4><\/div>

Distributed Ledger Technology \u2013 Pseudonymization as a Service

WBaaS website<\/a><\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
\"\"<\/div>
<\/div>

SATRAP-DL<\/a><\/h4><\/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

SATRAP-DL product presentation<\/a>
SATRAP-DL on GitHub<\/mark><\/a> | PyFlowintel on GitHub<\/mark><\/a>


<\/p><\/div><\/div>\n\n\n\n

\"\"<\/div>
<\/div>

CS-GRAM<\/h4><\/div>

Cloud services: Governance, Risk management, Audit, Monitoring

OpenTrick on GitHub<\/a>


<\/p><\/div><\/div>\n\n\n\n

\"Logo-PQC-MAT\"<\/div>
<\/div>

PQC-MAT<\/h4><\/div>

P<\/span>ost-Q<\/span><\/strong>uantum C<\/span><\/strong>ryptography M<\/span><\/strong>igration A<\/span><\/strong>ssistance T<\/span><\/strong>heory and T<\/span><\/strong>ools

A suite of tools bundled under VECTOR<\/strong> (VE<\/span><\/strong>rified C<\/span><\/strong>ryptography & T<\/span><\/strong>ransition via O<\/span><\/strong>bservable R<\/span><\/strong>egistry) soon available on GitHub…<\/p><\/div><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

\n

Themes<\/p>

Post-Quantum Cryptography, Formal Methods, Quantum Computing, automated reasoning, cyber threat intelligence, intrusion detection and prevention, Artificial Intelligence, Threat Modelling and Risk Assessment, Common Criteria, Secure Software Engineering, Verifiable Software, provable Information Security, Secure Software Development Life Cycle, Security Monitoring and Incident Handling<\/h5><\/div>\n<\/div><\/div>\n\n\n\n
\n
\n

Interested in a collaboration? Contact us!<\/h3><\/div>\n<\/div>\n\n\n\n
\n
\n
Learn More<\/div><\/a><\/div><\/div>\n<\/div><\/div>\n<\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

Research & Development Themes Post-Quantum Cryptography, Formal Methods, Quantum Computing, automated reasoning, cyber threat intelligence, intrusion detection and prevention, Artificial […]<\/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":"no-sidebar","site-content-layout":"page-builder","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":"disabled","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-1052","page","type-page","status-publish","hentry"],"yoast_head":"\nR&D - Abstractions Lab<\/title>\n<meta name=\"description\" content=\"This page describes our research and development (R&D) activities and areas of expertise, with a focus on our ongoing projects and outcomes.\" \/>\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\/research-and-development\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"R&D - Abstractions Lab\" \/>\n<meta property=\"og:description\" content=\"This page describes our research and development (R&D) activities and areas of expertise, with a focus on our ongoing projects and outcomes.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-17T16:08:50+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0-300x150.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=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/\",\"url\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/\",\"name\":\"R&D - Abstractions Lab\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0-300x150.png\",\"datePublished\":\"2022-12-31T00:13:40+00:00\",\"dateModified\":\"2026-03-17T16:08:50+00:00\",\"description\":\"This page describes our research and development (R&D) activities and areas of expertise, with a focus on our ongoing projects and outcomes.\",\"breadcrumb\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#primaryimage\",\"url\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0.png\",\"contentUrl\":\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0.png\",\"width\":1200,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/abstractionslab.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"R&D\"}]},{\"@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":"R&D - Abstractions Lab","description":"This page describes our research and development (R&D) activities and areas of expertise, with a focus on our ongoing projects and outcomes.","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\/research-and-development\/","og_locale":"en_GB","og_type":"article","og_title":"R&D - Abstractions Lab","og_description":"This page describes our research and development (R&D) activities and areas of expertise, with a focus on our ongoing projects and outcomes.","og_url":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/","og_site_name":"Abstractions Lab","article_modified_time":"2026-03-17T16:08:50+00:00","og_image":[{"url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0-300x150.png","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/","url":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/","name":"R&D - Abstractions Lab","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#primaryimage"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#primaryimage"},"thumbnailUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0-300x150.png","datePublished":"2022-12-31T00:13:40+00:00","dateModified":"2026-03-17T16:08:50+00:00","description":"This page describes our research and development (R&D) activities and areas of expertise, with a focus on our ongoing projects and outcomes.","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/research-and-development\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#primaryimage","url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0.png","contentUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2023\/11\/ITR-ALab-CyFORT-Logo_v1.0.png","width":1200,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/index.php\/research-and-development\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"R&D"}]},{"@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":"Research & Development Themes Post-Quantum Cryptography, Formal Methods, Quantum Computing, automated reasoning, cyber threat intelligence, intrusion detection and prevention, Artificial […]","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1052","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=1052"}],"version-history":[{"count":89,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1052\/revisions"}],"predecessor-version":[{"id":2240,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/1052\/revisions\/2240"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=1052"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}