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
South East, United Kingdom 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 | South East, 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 |