Stronger than a promise: proving Oblivious HTTP privacy properties
Oct 27, 2022Christopher Wood, Jonathan Hoyland
Summary
This post introduces Oblivious HTTP (OHTTP) and its implementation as Privacy Gateway, a new privacy-enhancing protocol. It details how OHTTP decouples sender identity from request content through an encrypted relay mechanism, enhancing user privacy for applications. The post also describes the formal, computer-aided security analysis conducted to prove the privacy properties of OHTTP, using tools like Tamarin for modeling and verification.
More from the Website Security & Threat Management trail
- We tested our own WAF with frontier AI models. Here’s what we found
- When scanners miss the attack: how Cloudflare Client-Side Security protects storefronts
- Introducing automatic remediation policies with Cloudflare CASB
- Introducing context-aware vulnerability discovery and remediation with Cloudflare Managed Defense and OpenAI Daybreak Models
- Introducing Adaptive Intelligence: undermining the economics of every bot attack