{"id":2293,"date":"2026-05-09T13:10:53","date_gmt":"2026-05-09T13:10:53","guid":{"rendered":"https:\/\/abstractionslab.com\/?p=2293"},"modified":"2026-05-15T13:14:59","modified_gmt":"2026-05-15T13:14:59","slug":"pqc-mat-introducing-vector","status":"publish","type":"post","link":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/","title":{"rendered":"PQC-MAT: Introducing VECTOR"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Abstractions Lab announces the first release of PQC-MAT (v0.1), now <a href=\"https:\/\/github.com\/AbstractionsLab\/pqc-mat\">available on GitHub<\/a>. <\/p>\n\n\n\n<div class=\"wp-block-uagb-image aligncenter uagb-block-d3bbf665 wp-block-uagb-image--layout-default wp-block-uagb-image--effect-static wp-block-uagb-image--align-center\"><figure class=\"wp-block-uagb-image__figure\"><a class=\"\" href=\"https:\/\/github.com\/AbstractionsLab\/pqc-mat\" target=\"\" rel=\"noopener\"><img decoding=\"async\" srcset=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png ,https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0.png 780w, https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0.png 360w\" sizes=\"auto, (max-width: 480px) 150px\" src=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png\" alt=\"\" class=\"uag-image-2295\" width=\"150\" height=\"150\" title=\"6D1B2_LOG_PQC-MAT-400x400_v1.0\" loading=\"lazy\" role=\"img\"\/><\/a><\/figure><\/div>\n\n\n\n<p class=\"wp-block-paragraph\">PQC-MAT introduces <strong>VECTOR<\/strong> \u2014 <strong>VE<\/strong>rified <strong>C<\/strong>ryptography and <strong>T<\/strong>ransition via <strong>O<\/strong>bservable <strong>R<\/strong>egistry \u2014 an open-source toolkit for inventorying cryptographic assets, assessing quantum risk exposure, and beginning a methodological migration to post-quantum cryptography (PQC).<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">What Is PQC-MAT?<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">PQC-MAT (Post-Quantum Cryptography Migration Assistance Theory and Tools) is a sub-project of <a href=\"https:\/\/abstractionslab.com\/index.php\/research-and-development\/cyfort\/\">CyFORT<\/a>, carried out under the EU <a href=\"https:\/\/ec.europa.eu\/commission\/presscorner\/detail\/en\/ip_23_6246\">IPCEI-CIS<\/a> initiative. It provides resources and tools for a secure migration from classical public-key cryptography to quantum-resistant alternatives in cyber-physical systems.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The urgency is real. &#8220;Harvest Now, Decrypt Later&#8221; (HNDL) adversaries are already collecting today&#8217;s encrypted traffic for future decryption once a Cryptographically Relevant Quantum Computer (CRQC) becomes available. Shor&#8217;s algorithm would break the asymmetric primitives underpinning modern infrastructure \u2014 RSA, ECDH, ECDSA, EdDSA \u2014 and NIST, BSI, and ANSSI all recommend starting migration now. In August 2024, NIST published the first finalized PQC standards (FIPS 203, 204, 205). Without a cryptographic inventory, organizations cannot assess their exposure or plan the transition. VECTOR closes that gap.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Key Highlights<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>TOR<\/strong> (Transition via Observable Registry) is the cryptographic inventory engine. It discovers assets across source code and network infrastructure, generating standardized <a href=\"https:\/\/cyclonedx.org\/capabilities\/cbom\/\">Cryptographic Bills of Materials (CBOM)<\/a> in CycloneDX 1.6 format via three tools operating under a unified <code>vector<\/code> CLI:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>VECTOR-Code<\/strong> orchestrates <code>cloc<\/code>, CodeQL with cryptographic queries, and <code>cryptobom-forge<\/code> into a single command for Python, C, and C++ projects. One CBOM per detected language, plus SARIF findings and CodeQL databases.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>VECTOR-Network<\/strong> fills a notable gap: no widely available tool converts testssl.sh or ZGrab2 output to CycloneDX CBOM. VECTOR-Network&#8217;s custom parsers decompose each TLS cipher suite into individual algorithm components (key exchange, authentication, encryption, MAC), detect standalone post-quantum KEMs (ML-KEM-512\/768\/1024), and split hybrid schemes such as X25519MLKEM768 and SecP256r1MLKEM768 into their constituent classical EC and PQC KEM parts.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>VECTOR-Score<\/strong> reads any CycloneDX 1.6 CBOM and classifies each algorithm against a data-driven YAML catalog aligned with NIST FIPS 203\/204\/205, BSI TR-02102-1, and ANSSI. Seven classifications cover the full spectrum from <code>quantum-vulnerable<\/code> and <code>classically-deprecated<\/code> (immediate action) through <code>quantum-weakened<\/code> (review) to <code>quantum-safe<\/code>, <code>post-quantum<\/code>, and <code>hybrid<\/code> (no action needed). The annotated output CBOM carries rationale, migration recommendations, and normative references per component; a Markdown risk report summarizes the findings. The CBOM output of <code>vector code<\/code> or <code>vector network<\/code> feeds directly into <code>vector score<\/code>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>VEC<\/strong> (Verified Cryptography) demonstrates the use of <a href=\"https:\/\/www.fstar-lang.org\/\">F*<\/a> for producing mathematically verified cryptographic implementations. The worked example covers the Extended Euclidean Algorithm \u2014 a foundational primitive in asymmetric cryptography \u2014 with explicit pre\/post-conditions, SMT-assisted termination and correctness proofs, and automatic extraction of verified OCaml code.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">PQC-MAT runs entirely inside a Docker Dev Container with all dependencies pre-installed. Opening the project in VS Code and selecting &#8220;Dev Containers: Reopen in Container&#8221; is all that is required to start.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Availability<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">PQC-MAT is available as a free and open-source release on GitHub:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/github.com\/AbstractionsLab\/pqc-mat\">https:\/\/github.com\/AbstractionsLab\/pqc-mat<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Technical specifications and requirements traceability are available on the <a href=\"https:\/\/abstractionslab.github.io\/pqc-mat\/traceability\/index.html\">PQC-MAT traceability web page<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Community feedback and contributions are welcome.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstractions Lab announces the first release of PQC-MAT (v0.1), now available on GitHub. PQC-MAT introduces VECTOR \u2014 VErified Cryptography and [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","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":"","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":""},"categories":[6,18],"tags":[9],"class_list":["post-2293","post","type-post","status-publish","format-standard","hentry","category-cyfort","category-pqc-mat","tag-software-release-2"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>PQC-MAT: Introducing VECTOR - Abstractions Lab<\/title>\n<meta name=\"description\" content=\"PQC-MAT: introducing VECTOR (verified cryptography and transition via observable registry) aimed at PQC migration\" \/>\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\/2026\/05\/09\/pqc-mat-introducing-vector\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PQC-MAT: Introducing VECTOR - Abstractions Lab\" \/>\n<meta property=\"og:description\" content=\"PQC-MAT: introducing VECTOR (verified cryptography and transition via observable registry) aimed at PQC migration\" \/>\n<meta property=\"og:url\" content=\"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/\" \/>\n<meta property=\"og:site_name\" content=\"Abstractions Lab\" \/>\n<meta property=\"article:published_time\" content=\"2026-05-09T13:10:53+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-05-15T13:14:59+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png\" \/>\n<meta name=\"author\" content=\"Arash\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Arash\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/\"},\"author\":{\"name\":\"Arash\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/#\\\/schema\\\/person\\\/10b4b9712018e5e507e00132a88e77ac\"},\"headline\":\"PQC-MAT: Introducing VECTOR\",\"datePublished\":\"2026-05-09T13:10:53+00:00\",\"dateModified\":\"2026-05-15T13:14:59+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/\"},\"wordCount\":475,\"publisher\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/abstractionslab.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png\",\"keywords\":[\"software-release\"],\"articleSection\":[\"CyFORT\",\"PQC-MAT\"],\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/\",\"url\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/\",\"name\":\"PQC-MAT: Introducing VECTOR - Abstractions Lab\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/abstractionslab.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png\",\"datePublished\":\"2026-05-09T13:10:53+00:00\",\"dateModified\":\"2026-05-15T13:14:59+00:00\",\"description\":\"PQC-MAT: introducing VECTOR (verified cryptography and transition via observable registry) aimed at PQC migration\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#primaryimage\",\"url\":\"https:\\\/\\\/abstractionslab.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/6D1B2_LOG_PQC-MAT-400x400_v1.0.png\",\"contentUrl\":\"https:\\\/\\\/abstractionslab.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/6D1B2_LOG_PQC-MAT-400x400_v1.0.png\",\"width\":400,\"height\":400},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/2026\\\/05\\\/09\\\/pqc-mat-introducing-vector\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/abstractionslab.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PQC-MAT: Introducing VECTOR\"}]},{\"@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\"]},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/abstractionslab.com\\\/#\\\/schema\\\/person\\\/10b4b9712018e5e507e00132a88e77ac\",\"name\":\"Arash\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/3e21649c41f8d3255f9aff1106db20563cc93deb3fbc49d9333921d0d780b2a0?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/3e21649c41f8d3255f9aff1106db20563cc93deb3fbc49d9333921d0d780b2a0?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/3e21649c41f8d3255f9aff1106db20563cc93deb3fbc49d9333921d0d780b2a0?s=96&d=mm&r=g\",\"caption\":\"Arash\"},\"url\":\"https:\\\/\\\/abstractionslab.com\\\/index.php\\\/author\\\/arash\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"PQC-MAT: Introducing VECTOR - Abstractions Lab","description":"PQC-MAT: introducing VECTOR (verified cryptography and transition via observable registry) aimed at PQC migration","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\/2026\/05\/09\/pqc-mat-introducing-vector\/","og_locale":"en_GB","og_type":"article","og_title":"PQC-MAT: Introducing VECTOR - Abstractions Lab","og_description":"PQC-MAT: introducing VECTOR (verified cryptography and transition via observable registry) aimed at PQC migration","og_url":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/","og_site_name":"Abstractions Lab","article_published_time":"2026-05-09T13:10:53+00:00","article_modified_time":"2026-05-15T13:14:59+00:00","og_image":[{"url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png","type":"","width":"","height":""}],"author":"Arash","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Arash","Estimated reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#article","isPartOf":{"@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/"},"author":{"name":"Arash","@id":"https:\/\/abstractionslab.com\/#\/schema\/person\/10b4b9712018e5e507e00132a88e77ac"},"headline":"PQC-MAT: Introducing VECTOR","datePublished":"2026-05-09T13:10:53+00:00","dateModified":"2026-05-15T13:14:59+00:00","mainEntityOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/"},"wordCount":475,"publisher":{"@id":"https:\/\/abstractionslab.com\/#organization"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#primaryimage"},"thumbnailUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png","keywords":["software-release"],"articleSection":["CyFORT","PQC-MAT"],"inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/","url":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/","name":"PQC-MAT: Introducing VECTOR - Abstractions Lab","isPartOf":{"@id":"https:\/\/abstractionslab.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#primaryimage"},"image":{"@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#primaryimage"},"thumbnailUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0-150x150.png","datePublished":"2026-05-09T13:10:53+00:00","dateModified":"2026-05-15T13:14:59+00:00","description":"PQC-MAT: introducing VECTOR (verified cryptography and transition via observable registry) aimed at PQC migration","breadcrumb":{"@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#primaryimage","url":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0.png","contentUrl":"https:\/\/abstractionslab.com\/wp-content\/uploads\/2026\/05\/6D1B2_LOG_PQC-MAT-400x400_v1.0.png","width":400,"height":400},{"@type":"BreadcrumbList","@id":"https:\/\/abstractionslab.com\/index.php\/2026\/05\/09\/pqc-mat-introducing-vector\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/abstractionslab.com\/"},{"@type":"ListItem","position":2,"name":"PQC-MAT: Introducing VECTOR"}]},{"@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"]},{"@type":"Person","@id":"https:\/\/abstractionslab.com\/#\/schema\/person\/10b4b9712018e5e507e00132a88e77ac","name":"Arash","image":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/secure.gravatar.com\/avatar\/3e21649c41f8d3255f9aff1106db20563cc93deb3fbc49d9333921d0d780b2a0?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/3e21649c41f8d3255f9aff1106db20563cc93deb3fbc49d9333921d0d780b2a0?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/3e21649c41f8d3255f9aff1106db20563cc93deb3fbc49d9333921d0d780b2a0?s=96&d=mm&r=g","caption":"Arash"},"url":"https:\/\/abstractionslab.com\/index.php\/author\/arash\/"}]}},"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":"Abstractions Lab announces the first release of PQC-MAT (v0.1), now available on GitHub. PQC-MAT introduces VECTOR \u2014 VErified Cryptography and [&hellip;]","_links":{"self":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts\/2293","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"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=2293"}],"version-history":[{"count":4,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts\/2293\/revisions"}],"predecessor-version":[{"id":2299,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/posts\/2293\/revisions\/2299"}],"wp:attachment":[{"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/media?parent=2293"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/categories?post=2293"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/abstractionslab.com\/index.php\/wp-json\/wp\/v2\/tags?post=2293"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}