Companies

BaDaaS is a Belgian applied mathematics lab specializing in cryptography, zero-knowledge proofs, post-quantum cryptography, formal verification, and AI tooling.

TokenPKI enables digital document signing with user-owned proof of signature without requiring a centralized platform.