{"id":218,"date":"2020-05-12T03:43:04","date_gmt":"2020-05-12T03:43:04","guid":{"rendered":"http:\/\/abstractionslab.com\/index.php\/about\/"},"modified":"2025-06-20T16:45:53","modified_gmt":"2025-06-20T16:45:53","slug":"about","status":"publish","type":"page","link":"https:\/\/abstractionslab.com\/index.php\/about\/","title":{"rendered":"About"},"content":{"rendered":"\n
\n

About\u200b<\/h1><\/div>\n\n\n\n

The philosophy and mission of Abstractions Lab<\/h2><\/div>\n\n\n\n

its origin and history<\/h3><\/div>\n<\/div><\/div>\n\n\n\n
\n
\n

Established in 2022<\/h2><\/div>\n\n\n\n
Origin and history<\/strong>: itrust Abstractions Lab, operating as \u201cAbstractions Lab<\/strong>\u201d, is a consulting and R&D<\/a> company, co-founded as a spin-off of itrust consulting<\/a> by professionals from the academic and industrial sector. <\/span><\/div>

Abstractions Lab provides solutions<\/a> aimed at ensuring the trustworthiness and security of digital systems by advancing the state-of-the-art and applying novel results from computing science and mathematics for the design, development, and analysis of conceptual solutions as well as concrete tools<\/a> for secure software and cyber physical systems.<\/p><\/div><\/div>\n<\/div>\n\n\n\n

\n
<\/div>

Our philosophy is rooted in the belief that correct and secure systems are built on a solid mathematical foundation, with cryptography and formal methods forming its main pillars. This allows systems with well-specified security goals, to be designed, analyzed, and proven secure under all modelled circumstances in well-defined scenarios.

The R&D activities of Abstractions Lab follow an open research model, which entails publishing its designs, software implementations and scientific results via open platforms, using open and permissive licenses. Moreover, Abstractions Lab strives to conduct high quality research to produce reliable solutions, assured by having these results published in peer-reviewed, top-level scientific venues.<\/p><\/div><\/div><\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

\n
<\/path><\/svg><\/div>

Founding members<\/h3><\/div>

Dr. Arash Atashpendar, Dr. Itzel Vazquez Sandoval, Dr. Carlo Harpes, Prof. Dr. Peter Y. A. Ryan, Ensuifudine Omar (MSc)<\/p><\/div><\/div>\n<\/div><\/div>\n\n\n\n

\n
\n

mission\u200b<\/h2>

To ensure the trustworthiness and security of cyber-physical systems by building upon solid mathematical foundations.<\/p><\/div>\n<\/div>\n\n\n\n

\n

vision\u200b<\/h2>

Correct and secure systems require solid mathematical foundations: cryptography & formal methods.<\/p><\/div>\n<\/div>\n\n\n\n

\n

values\u200b<\/h2><\/div>\n\n\n\n
\n
<\/path><\/svg><\/span>Open research model<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Scientific results published on open platforms<\/span><\/div>\n\n\n\n
<\/path><\/svg><\/span>Open-source software implementations released under permissive licenses<\/span><\/div>\n<\/div><\/div>\n<\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

About\u200b The philosophy and mission of Abstractions Lab its origin and history Established in 2022 mission\u200b To ensure the trustworthiness […]<\/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-218","page","type-page","status-publish","hentry"],"yoast_head":"\nAbout - Abstractions Lab - its philosophy, mission, origin and history<\/title>\n<meta name=\"description\" content=\"This about page provides information on Abstractions Lab, its mission, philosophy, origin, history and founding members.\" \/>\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\/about\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"About - Abstractions Lab - its philosophy, mission, origin and history\" \/>\n<meta property=\"og:description\" content=\"This about page provides information on Abstractions Lab, its mission, philosophy, origin, history and founding members.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/index.php\/about\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-20T16:45:53+00:00\" \/>\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\/about\/\",\"url\":\"https:\/\/abstractionslab.com\/index.php\/about\/\",\"name\":\"About - Abstractions Lab - its philosophy, mission, origin and history\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/#website\"},\"datePublished\":\"2020-05-12T03:43:04+00:00\",\"dateModified\":\"2025-06-20T16:45:53+00:00\",\"description\":\"This about page provides information on Abstractions Lab, its mission, philosophy, origin, history and founding members.\",\"breadcrumb\":{\"@id\":\"https:\/\/abstractionslab.com\/index.php\/about\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/abstractionslab.com\/index.php\/about\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/abstractionslab.com\/index.php\/about\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/abstractionslab.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"About\"}]},{\"@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":"About - Abstractions Lab - its philosophy, mission, origin and history","description":"This about page provides information on Abstractions Lab, its mission, philosophy, origin, history and founding members.","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\/about\/","og_locale":"en_GB","og_type":"article","og_title":"About - Abstractions Lab - its philosophy, mission, origin and history","og_description":"This about page provides information on Abstractions Lab, its mission, philosophy, origin, history and founding members.","og_url":"https:\/\/abstractionslab.com\/index.php\/about\/","og_site_name":"Abstractions Lab","article_modified_time":"2025-06-20T16:45:53+00:00","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\/about\/","url":"https:\/\/abstractionslab.com\/index.php\/about\/","name":"About - Abstractions Lab - its philosophy, mission, origin and history","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"datePublished":"2020-05-12T03:43:04+00:00","dateModified":"2025-06-20T16:45:53+00:00","description":"This about page provides information on Abstractions Lab, its mission, philosophy, origin, history and founding members.","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/index.php\/about\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/about\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/index.php\/about\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"About"}]},{"@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":"About\u200b The philosophy and mission of Abstractions Lab its origin and history Established in 2022 mission\u200b To ensure the trustworthiness […]","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/218","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=218"}],"version-history":[{"count":44,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/218\/revisions"}],"predecessor-version":[{"id":1967,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/218\/revisions\/1967"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=218"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}