APA (7th ed.) Citation

Bosshard, A. G., Bootle, J., & Sprenger, C. (2024). Formal Verification of the Sumcheck Protocol.

Chicago Style (17th ed.) Citation

Bosshard, Azucena Garvía, Jonathan Bootle, and Christoph Sprenger. Formal Verification of the Sumcheck Protocol. 2024.

MLA (9th ed.) Citation

Bosshard, Azucena Garvía, et al. Formal Verification of the Sumcheck Protocol. 2024.