Stronger than a promise: proving Oblivious HTTP privacy properties
In this blog post, we describe a formal, computer-aided security analysis of Oblivious HTTP, an emerging IETF standard that applications can use to improve user privacy
https://blog.cloudflare.com/stronger-than-a-promise-proving-oblivious-http-privacy-properties/