Teels

TEE + TLS for Verifiable Web Applications

About Teels

Teels (TEE + TLS) offers a pragmatic solution for creating verifiable web applications using today's web infrastructure. It solves the fundamental trust issue where users have no reliable way to verify they're running the exact code the developer claims.

How it works:

  1. Applications run inside a Trusted Execution Environment (TEE), generating a cryptographic attestation at startup
  2. The attestation is hashed and encoded in a subdomain name
  3. A TLS certificate covers both the application domain and the encoded subdomain
  4. Browsers connect normally with standard TLS certificate validation
  5. Independent auditors monitor Certificate Transparency logs to verify certificates are bound to valid attestations

This gives users strong guarantees about the code they're running without requiring any changes to browsers or web standards.

For more information, see this blog post and the project on GitHub.

Code Formatter

Format and beautify your HTML, JS, and JSON with this easy-to-use tool.

Open Formatter

Diff Checker

Compare two texts side by side and highlight the differences between them.

Open Diff Checker

CyberChef

A web app for encryption, encoding, compression and data analysis. The Swiss Army knife of data manipulation.

Open CyberChef