A Note on Hardness under Projections for Graph Isomorphism and Time-Bounded Kolmogorov Complexity. - Eric Allender; Azucena Garvía Bosshard; Amulya Musipatla (Electron. Colloquium Comput. Complex., 2020)

Formal Verification of the Sumcheck Protocol. - Azucena Garvía Bosshard; Jonathan Bootle; Christoph Sprenger 001 (CSF, 2024)

The Sumcheck Protocol. - Azucena Garvía Bosshard; Christoph Sprenger 001; Jonathan Bootle (Arch. Formal Proofs, 2024)