---
title: Cybersecurity Startup American Binary Becomes First VPN Provider to Have All Post-Quantum Security Properties Independently Verified
description: American Binary's MaxKyber VPN protocol has had all 120 security properties independently verified against NSA CNSA 2.0 by two academic cryptographers.
author: Darie Nani (Editor-in-Chief)
date: 2026-07-24T09:28:56.402Z
updated: 2026-07-24T09:28:56.410Z
canonical: https://www.sovereignmagazine.com/article/american-binary-post-quantum-vpn-maxkyber-cnsa-verified
image: https://cdn.nanimediahouse.com/american-binary-post-quantum-vpn-21703.webp
categories: Science & Tech
content_type: News
region: United States
publication: Sovereign Magazine
access: members
schema_type: Article
---

Two academic cryptographers have completed a formal verification of 120 security properties in MaxKyber, the network protocol underlying American Binary's Ambit Client enterprise VPN. The Washington DC company says the attestation, conducted by Dr. Joe Kiniry and Dr. Tom Shrimpton, confirms compliance with all requirements of the Commercial National Security Algorithm Suite 2.0, the NSA's cryptographic roadmap for systems handling national security information.

Formal verification is not a penetration test or an audit. It uses symbolic proof tools to demonstrate mathematically that a protocol cannot be broken in ways the specification forbids. The methods used here, Tamarin and ProVerif, are standard in academic cryptographic research, though rarely applied to a commercial product at this scale. Kiniry and Shrimpton's scope covered eleven categories: secrecy, authentication, forward secrecy, identity hiding, and resistance to replay attacks, denial of service, resource exhaustion, and key compromise impersonation, among others.

The standard the protocol is verified against, CNSA 2.0, requires agencies and contractors running National Security Systems to migrate to post-quantum algorithms by 2030. MaxKyber uses ML-KEM-1024 (FIPS 203), AES-256-GCM, and SHA-512, all algorithms on the CNSA 2.0 approved list. For enterprises selling to or operating within national security contexts, alignment with that standard is increasingly a procurement requirement rather than a differentiator.

---

*This article is only available to registered readers. Visit the article URL to read the full piece.*