| 2026 | CRYPTO | Pairing-Based SNARGs with Two Group Elements. | Gal Arnon, Jesko Dujmovic, Eylon Yogev |
| 2025 | CRYPTO | Designated-Verifier SNARGs with One Group Element. | Gal Arnon, Jesko Dujmovic, Yuval Ishai |
| 2025 | CRYPTO | Towards a White-Box Secure Fiat-Shamir Transformation. | Gal Arnon, Eylon Yogev |
| 2025 | EuroCrypt | Instance Compression, Revisited. | Gal Arnon, Shany Ben-David, Eylon Yogev |
| 2025 | EuroCrypt | WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification. | Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev |
| 2024 | CRYPTO | STIR: Reed-Solomon Proximity Testing with Fewer Queries. | Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev |
| 2024 | TCC | Hamming Weight Proofs of Proximity with One-Sided Error. | Gal Arnon, Shany Ben-David, Eylon Yogev |
| 2023 | FOCS | IOPs with Inverse Polynomial Soundness Error. | Gal Arnon, Alessandro Chiesa, Eylon Yogev |
| 2022 | EuroCrypt | A PCP Theorem for Interactive Proofs and Applications. | Gal Arnon, Alessandro Chiesa, Eylon Yogev |
| 2022 | TCC | A Toolbox for Barriers on Interactive Oracle Proofs. | Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev |