Is this TBTL?
Claim this listing to verify your company, update its details and respond to enquiries.
TBTL
Security audits and eIDAS-compliant digital identity built on formal methods
TBTL is listed under Cybersecurity Solutions in the Compare the Cloud directory.
Listed in Cybersecurity Solutions , Identity & Access Management
Added to the directory
Services
Cybersecurity SolutionsIdentity & Access Management
— Employees
— Founded
Oxford Location
About
TBTL delivers high-assurance security audits and compliant digital identity products grounded in peer-reviewed research and granted patents. Its security practice uses formal reasoning to analyse smart contracts and zero-knowledge programmes, covering how systems can fail rather than testing against expected behaviours. FORTID, its production-ready digital identity product, meets EUDI and eIDAS standards, enabling organisations to verify counterparties without harvesting personal data. Core technology areas include formal methods, decentralised systems and trusted hardware.
| Primary category | Cybersecurity Solutions |
|---|---|
| Also listed in | Identity & Access Management |
| Location | Oxford |
| Country | United Kingdom |
| Services | Smart contract auditing, ZK programme analysis, Digital identity (FORTID), Decentralised systems advisory, Attestation verification |
| Website | https://www.tbtl.com/ |
| Added to the directory |
Similar companies
- Daon
- ASCERTIA
- Entrust
- Welford Systems Welford Systems is a Zero Trust Identity & Access Governance solutions provider for enterprises.
- IPROOV
- CM SECURITY