Sam Schlesinger

I work on cryptographic systems for human autonomy. By day, that means designing privacy-preserving authentication for billions of users at Google Chrome and chairing the W3C Anti-Fraud Community Group, drafting standards meant to become libraries deployed across the open web.

In the open, I formalize mathematics in Lean 4, record explainers on theoretical computer science at Computable Secrets, and write essays on the cryptographic primitives that protect free societies. The pieces are connected: deployment teaches what theory misses; theory teaches what deployment skips; explanation forces both to be honest.