Stronger than a promise: proving Oblivious HTTP privacy properties
October 27, 2022 2:00PM
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...
