Azucena GarvĂa Bosshard, Jonathan Bootle, Christoph Sprenger 0001. Formal Verification of the Sumcheck Protocol. In 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024. pages 605-619, IEEE, 2024. [doi]
Abstract is missing.