{"id":217,"date":"2020-05-12T03:43:03","date_gmt":"2020-05-12T03:43:03","guid":{"rendered":"http:\/\/abstractionslab.com\/index.php\/home\/"},"modified":"2026-03-16T21:00:13","modified_gmt":"2026-03-16T21:00:13","slug":"home","status":"publish","type":"page","link":"https:\/\/abstractionslab.com\/","title":{"rendered":"Home"},"content":{"rendered":"\n
\n

Verifiable security for cyber-physical systems through<\/h2><\/div>\n\n\n\n

Quantum-Safe Cryptography &
Formal Methods<\/h1><\/div>\n\n\n\n
Our mission is to ensure the trustworthiness and security of cyber-physical systems
by building upon solid mathematical foundations.\u200b<\/h5><\/div>\n\n\n\n
\n\n\n\n
\n
Services<\/div><\/a><\/div><\/div>\n\n\n\n
Products<\/div><\/a><\/div><\/div>\n\n\n\n
About Us<\/div><\/a><\/div><\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n
\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\"\"\n\t\t\t\t<\/picture>\n\t\t\t\t
<\/div>\n\t\t\t\t\t\t\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\"\"\n\t\t\t\t<\/picture>\n\t\t\t\t
<\/div>\n\t\t\t\t\t\t\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\n\t\t\t\t\t\"\"\n\t\t\t\t<\/picture>\n\t\t\t\t
<\/div>\n\t\t\t\t\t\t\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div><\/div>\n\n\n\n
\n
\n
<\/path><\/svg><\/div>

What we do<\/h3><\/div>

We apply state-of-the-art research to create customized, secure digital solutions. We design and develop (quantum-safe cryptographic) software, relying on verified implementations and perform system design and software implementation audits as well as testing.

We specialize in mathematical modelling, classical and (post-)quantum cryptography, security (protocol) design and analysis, formal verification of security protocols and cyber physical systems, algorithms, applied logic, secure software development and artificial intelligence.

We make use of well-established scientific processes and methodologies to ensure robust and reliable digital solutions.<\/p><\/div><\/div>\n\n\n\n

\n
Our History<\/div><\/path><\/svg><\/span><\/a><\/div><\/div>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n
\n

Have a project in mind?<\/strong><\/h2><\/div>

We offer tailored research, development, and consulting services
to meet your unique needs.

Whether you\u2019re seeking expert research and consulting services on cyber-physical systems security or custom reliable security and secure software solutions, we\u2019re ready to work with you.

We also welcome and encourage you to contact us for research collaboration opportunities.<\/p>

get in touch<\/span><\/path><\/svg><\/a><\/div><\/div><\/div>\n<\/div><\/div>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

Verifiable security for cyber-physical systems through Quantum-Safe Cryptography & Formal Methods Our mission is to ensure the trustworthiness and security […]<\/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-217","page","type-page","status-publish","hentry"],"yoast_head":"\nHome - Abstractions Lab - Quantum-safe cryptography and formal methods<\/title>\n<meta name=\"description\" content=\"We ensure the trustworthiness and security of digital systems using solid mathematical foundations: cryptography and formal methods\" \/>\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\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Home - Abstractions Lab - Quantum-safe cryptography and formal methods\" \/>\n<meta property=\"og:description\" content=\"We ensure the trustworthiness and security of digital systems using solid mathematical foundations: cryptography and formal methods\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:modified_time\" content=\"2026-03-16T21:00:13+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=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/abstractionslab.com\/\",\"url\":\"https:\/\/abstractionslab.com\/\",\"name\":\"Home - Abstractions Lab - Quantum-safe cryptography and formal methods\",\"isPartOf\":{\"@id\":\"https:\/\/abstractionslab.com\/#website\"},\"datePublished\":\"2020-05-12T03:43:03+00:00\",\"dateModified\":\"2026-03-16T21:00:13+00:00\",\"description\":\"We ensure the trustworthiness and security of digital systems using solid mathematical foundations: cryptography and formal methods\",\"breadcrumb\":{\"@id\":\"https:\/\/abstractionslab.com\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/abstractionslab.com\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/abstractionslab.com\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/abstractionslab.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Home\"}]},{\"@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":"Home - Abstractions Lab - Quantum-safe cryptography and formal methods","description":"We ensure the trustworthiness and security of digital systems using solid mathematical foundations: cryptography and formal methods","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\/","og_locale":"en_GB","og_type":"article","og_title":"Home - Abstractions Lab - Quantum-safe cryptography and formal methods","og_description":"We ensure the trustworthiness and security of digital systems using solid mathematical foundations: cryptography and formal methods","og_url":"https:\/\/abstractionslab.com\/","og_site_name":"Abstractions Lab","article_modified_time":"2026-03-16T21:00:13+00:00","twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/abstractionslab.com\/","url":"https:\/\/abstractionslab.com\/","name":"Home - Abstractions Lab - Quantum-safe cryptography and formal methods","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"datePublished":"2020-05-12T03:43:03+00:00","dateModified":"2026-03-16T21:00:13+00:00","description":"We ensure the trustworthiness and security of digital systems using solid mathematical foundations: cryptography and formal methods","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"Home"}]},{"@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":"Verifiable security for cyber-physical systems through Quantum-Safe Cryptography & Formal Methods Our mission is to ensure the trustworthiness and security […]","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/217","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=217"}],"version-history":[{"count":153,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/217\/revisions"}],"predecessor-version":[{"id":2200,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/pages\/217\/revisions\/2200"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=217"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}