Kirby Linvill

Verifying Indistinguishability of Privacy-Preserving Protocols

2023 · Proceedings of the ACM on Programming Languages

Internet users rely on the protocols they use to protect their private information including their identity and the websites they visit. Formal verification of these protocols can detect subtle bugs that compromise these protections at …