About Us

Grounded in science.

A track record of academic excellence turned to practical use in the pursuit of a more trustworthy digital society.

WHO WE ARE

Co-founded by Oxford collaborators

TBTL was co-founded by Oxford collaborators, with scientific advisors from Oxford and ETH Zürich. We are scientists and engineers working across formal methods, decentralised systems, and trusted hardware, backed by a strong track record of peer-reviewed research and granted patents. That expertise now spans our full offering: Web3 security audits, blockchain and TEE consulting, and products from FortID to Cloud Wallet and Custody.

Our company traces its founding thesis to Bill Roscoe's argument: that technology can be made more trustworthy than any individual or institution using it, provided that trust is earned through verification rather than asserted through branding. Our purpose is to support clients in building safer and more trustworthy systems offering consultancy and smart contract/ZK program audit services. Our products range from FortID to Cloud Wallet and Custody.

LEADERSHIP

Senior team.

Bill Roscoe

Founder

Emeritus Professor and former Head of the Department of Computer Science, at University of Oxford; Fellow, Royal Academy of Engineering.

Well known for

Concurrency and process algebra - CSP and its FDR refinement checker - plus cryptographic protocol analysis and information-flow security.

At TBTL

Focuses on blockchain and internet policy.

Bangdao Chen

Founder & Director

DPhil, University of Oxford; co-founder, University College Oxford Blockchain Research Centre.

Focused on

Decentralised identification and authentication, payment security, and communication security.

Sharon Backer-Holst

Director and CEO

Former Head of Operations, Oxford Department of Computer Science.

Focused on

Scaling academic and commercial technical organisations — most recently an Oxford healthtech startup's US launch.

Pedro Antonino

Senior Research Scientist

DPhil, University of Oxford; leads TBTL's security division.

Focused on

Formal frameworks for safe contract deployment and upgradeability, LLM-assisted specification extraction, and Noir/ZK program verification.

ADVISORS

Scientific advisors.

Ivan Martinovic

Scientific Advisor

Full Professor, University of Oxford.

Focused on

Cyber-physical and network security — physical-layer authentication, RF jamming, and traffic analysis — plus behavioural biometrics and continuous authentication.

Jim Davies

Scientific Advisor

Professor of Software Engineering and Director of the Centre for Doctoral Training in Health Data Science, University of Oxford.

Focused on

Model- and metadata-driven techniques for big data engineering, applied at scale in clinical research, healthcare delivery, and electronic governance.

Srdjan Capkun

Scientific Advisor

Full Professor, ETH Zürich; Fellow of the ACM and the IEEE.

Focused on

System and network security, with an emphasis on wireless security and secure positioning, trusted computing, and distributed ledgers.

OFFICES

Two locations.

Oxford (HQ)

2 Staverton Rd, Oxford OX2 6XJ, United Kingdom

Web3 security and blockchain research

Zagreb

Koturaška cesta 51, 10000 Zagreb, Croatia

Platform development — including FortID