{"id":219,"date":"2020-05-12T03:43:04","date_gmt":"2020-05-12T03:43:04","guid":{"rendered":"http:\/\/abstractionslab.com\/index.php\/services\/"},"modified":"2025-05-29T17:15:12","modified_gmt":"2025-05-29T17:15:12","slug":"services","status":"publish","type":"page","link":"https:\/\/abstractionslab.com\/index.php\/services\/","title":{"rendered":"Services"},"content":{"rendered":"\n
\n

Lines of work<\/h1>

enabling our services<\/p><\/div>\n<\/div>\n\n\n\n

\n
\n

Theoretical research<\/h2><\/div>

We carry out fundamental research to advance the state of the art in our main areas of research, development and service provision.<\/p><\/div><\/div>\n<\/div>\n\n\n\n

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

Applied research & development<\/h2><\/div>

We perform applied R&D to transfer innovative solutions and technologies into our products and services.<\/p><\/div><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

\n
\n

Consulting<\/h2><\/div>

We provide dedicated consulting services to the private and public sector and create tailor-made secure digital software solutions.\u200b<\/p><\/div><\/div>\n<\/div>\n\n\n\n

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

raising awareness & training<\/h2><\/div>

We provide training for private and public entities, focusing on our main lines of work and research.<\/p><\/div><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

\n

We provide the following services<\/h2><\/div>\n\n\n\n
\n
<\/path><\/svg><\/span>Conducting scientific research and providing consulting services mainly in the following areas: mathematical modelling, classical and (post-)quantum cryptography, security analysis, security protocol design and analysis, formal verification of security protocols and cyber physical systems, algorithms, applied logic, secure software development.<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Applying state-of-the-art research and development to create customized secure digital solutions<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Design and development of (cryptographic) software, relying on verified implementations<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Performing system design and software implementation audits and testing<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Developing and providing novel processes, applicable in R&D and advanced project management<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Developing tools that assist in the development of secure IT solutions, compliant with strict certification standards<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Creating easy-to-use quantum-safe end-user cryptographic tools<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Providing training for private and public entities, focusing on our main lines of work and research<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Creating and maintaining tools and solutions supporting secure information processing<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Design, analysis, and development of ICT (security) solutions<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Consulting services in the ICT domain, not limited to information security<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>System security evaluation following the Common Criteria framework, including methodical vulnerability assessments<\/span><\/div>\n<\/div><\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

Lines of work enabling our services We provide the following services<\/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":"plain-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":"disabled","ast-breadcrumbs-content":"","ast-featured-img":"disabled","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"enabled","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-219","page","type-page","status-publish","hentry"],"yoast_head":"\nServices - Abstractions Lab<\/title>\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\/services\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Services - Abstractions Lab\" \/>\n<meta property=\"og:description\" content=\"Lines of work enabling our services We provide the following services\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/index.php\/services\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-29T17:15:12+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.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\/services\/\",\"url\":\"https:\/\/abstractionslab.com\/index.php\/services\/\",\"name\":\"Services - Abstractions Lab\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/services\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/services\/#primaryimage\"},\"thumbnailUrl\":\"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.png\",\"datePublished\":\"2020-05-12T03:43:04+00:00\",\"dateModified\":\"2025-05-29T17:15:12+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/services\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/abstractionslab.com\/index.php\/services\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/services\/#primaryimage\",\"url\":\"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.png\",\"contentUrl\":\"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/services\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/abstractionslab.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Services\"}]},{\"@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":"Services - Abstractions Lab","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\/services\/","og_locale":"en_GB","og_type":"article","og_title":"Services - Abstractions Lab","og_description":"Lines of work enabling our services We provide the following services","og_url":"https:\/\/abstractionslab.com\/index.php\/services\/","og_site_name":"Abstractions Lab","article_modified_time":"2025-05-29T17:15:12+00:00","og_image":[{"url":"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.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\/services\/","url":"https:\/\/abstractionslab.com\/index.php\/services\/","name":"Services - Abstractions Lab","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/services\/#primaryimage"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/services\/#primaryimage"},"thumbnailUrl":"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.png","datePublished":"2020-05-12T03:43:04+00:00","dateModified":"2025-05-29T17:15:12+00:00","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/index.php\/services\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/services\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/index.php\/services\/#primaryimage","url":"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.png","contentUrl":"http:\/\/abstractionslab.com\/wp-content\/uploads\/2022\/12\/ALab_line_of_work_theoretical_research.png"},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/index.php\/services\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"Services"}]},{"@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":"Lines of work enabling our services We provide the following services","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/219","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=219"}],"version-history":[{"count":71,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/219\/revisions"}],"predecessor-version":[{"id":1927,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/219\/revisions\/1927"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}