Alessandro Chiesa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
53
Venues
8
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
53 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CRYPTO | On the Fiat-Shamir Security of Succinct Arguments from Functional Commitments. | Alessandro Chiesa, Ziyi Guan, Christian Knabenhans, Zihan Yu |
| 2026 | EuroCrypt | How to Prove Post-quantum Security for Succinct Non-interactive Reductions. | Alessandro Chiesa, Zijing Di, Zihan Hu, Yuxi Zheng |
| 2025 | EuroCrypt | WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification. | Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev |
| 2025 | TCC | Relativized Succinct Arguments in the ROM do not Exist. | Annalisa Barbara, Alessandro Chiesa, Ziyi Guan |
| 2025 | TCC | Time-Space Trade-Offs for Sumcheck. | Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri, Andrew Zitek-Estrada |
| 2025 | TCC | Linear-Time Accumulation Schemes. | Benedikt Bnz, Alessandro Chiesa, Giacomo Fenzi, William Wang |
| 2025 | TCC | Quantum Rewinding for IOP-Based Succinct Arguments. | Alessandro Chiesa, Marcel Dall'Agnol, Zijing Di, Ziyi Guan, Nicholas Spooner |
| 2025 | TCC | A Fiat-Shamir Transformation from Duplex Sponges. | Alessandro Chiesa, Michele Orr |
| 2024 | CRYPTO | STIR: Reed-Solomon Proximity Testing with Fewer Queries. | Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, Eylon Yogev |
| 2024 | TCC | Untangling the Security of Kilian's Protocol: Upper and Lower Bounds. | Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner, Eylon Yogev |
| 2024 | TCC | zkSNARKs in the ROM with Unconditional UC-Security. | Alessandro Chiesa, Giacomo Fenzi |
| 2024 | TCC | Security Bounds for Proof-Carrying Data from Straightline Extractors. | Alessandro Chiesa, Ziyi Guan, Shahar Samocha, Eylon Yogev |
| 2023 | CRYPTO | Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification. | Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki |
| 2023 | EuroCrypt | Proof-Carrying Data from Arithmetized Random Oracles. | Megan Chen, Alessandro Chiesa, Tom Gur, Jack O'Connor, Nicholas Spooner |
| 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 | EuroCrypt | Gemini: Elastic SNARKs for Diverse Environments. | Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orr |
| 2022 | EuroCrypt | Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier. | Jonathan Bootle, Alessandro Chiesa, Siqi Liu |
| 2022 | EuroCrypt | On Succinct Non-interactive Arguments in Relativized Worlds. | Megan Chen, Alessandro Chiesa, Nicholas Spooner |
| 2022 | TCC | A Toolbox for Barriers on Interactive Oracle Proofs. | Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev |
| 2021 | CRYPTO | Sumcheck Arguments and Their Applications. | Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki |
| 2021 | CRYPTO | Proof-Carrying Data Without Succinct Arguments. | Benedikt Bnz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner |
| 2021 | CRYPTO | Subquadratic SNARGs in the Random Oracle Model. | Alessandro Chiesa, Eylon Yogev |
| 2021 | FOCS | Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier. | Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry |
| 2021 | TCC | Tight Security Bounds for Micali's SNARGs. | Alessandro Chiesa, Eylon Yogev |
| 2020 | EuroCrypt | Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS. | Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, Nicholas P. Ward |
| 2020 | EuroCrypt | Fractal: Post-quantum and Transparent Recursive Proofs from Holography. | Alessandro Chiesa, Dev Ojha, Nicholas Spooner |
| 2020 | SODA | Relaxed Locally Correctable Codes with Nearly-Linear Block Length and Constant Query Complexity. | Alessandro Chiesa, Tom Gur, Igor Shinkar |
| 2020 | SP | ZEXE: Enabling Decentralized Private Computation. | Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu |
| 2020 | TCC | Linear-Time Arguments with Sublinear Verification from Tensor Codes. | Jonathan Bootle, Alessandro Chiesa, Jens Groth |
| 2020 | TCC | Recursive Proof Composition from Accumulation Schemes. | Benedikt Bnz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner |
| 2020 | TCC | Barriers for Succinct Arguments in the Random Oracle Model. | Alessandro Chiesa, Eylon Yogev |
| 2019 | EuroCrypt | Aurora: Transparent Succinct Arguments for R1CS. | Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, Nicholas P. Ward |
| 2019 | TCC | Linear-Size Constant-Query IOPs for Delegating Computation. | Eli Ben-Sasson, Alessandro Chiesa, Lior Goldberg, Tom Gur, Michael Riabzev, Nicholas Spooner |
| 2019 | TCC | Succinct Arguments in the Quantum Random Oracle Model. | Alessandro Chiesa, Peter Manohar, Nicholas Spooner |
| 2018 | FOCS | Spatial Isolation Implies Zero Knowledge Even in a Quantum World. | Alessandro Chiesa, Michael A. Forbes, Tom Gur, Nicholas Spooner |
| 2018 | SP | Oblix: An Efficient Oblivious Search Index. | Pratyush Mishra, Rishabh Poddar, Jerry Chen, Alessandro Chiesa, Raluca Ada Popa |
| 2017 | EuroCrypt | Computational Integrity with a Public Random String from Quasi-Linear PCPs. | Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, Madars Virza |
| 2017 | EuroCrypt | Decentralized Anonymous Micropayments. | Alessandro Chiesa, Matthew Green, Jingcheng Liu, Peihan Miao, Ian Miers, Pratyush Mishra |
| 2017 | ICALP | Interactive Oracle Proofs with Constant Rate and Query Complexity. | Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Michael Riabzev, Nicholas Spooner |
| 2017 | TCC | Zero Knowledge Protocols from Succinct Constraint Detection. | Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner |
| 2016 | TCC | Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs. | Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza |
| 2016 | TCC | Interactive Oracle Proofs. | Eli Ben-Sasson, Alessandro Chiesa, Nicholas Spooner |
| 2015 | EuroCrypt | Cluster Computing in Zero Knowledge. | Alessandro Chiesa, Eran Tromer, Madars Virza |
| 2015 | SP | Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs. | Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer, Madars Virza |
| 2014 | CRYPTO | Scalable Zero Knowledge via Cycles of Elliptic Curves. | Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza |
| 2014 | SP | Zerocash: Decentralized Anonymous Payments from Bitcoin. | Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, Madars Virza |
| 2013 | CRYPTO | SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge. | Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza |
| 2013 | STOC | On the concrete efficiency of probabilistically-checkable proofs. | Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer |
| 2013 | STOC | Recursive composition and bootstrapping for SNARKS and proof-carrying data. | Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer |
| 2013 | TCC | Succinct Non-interactive Arguments via Linear Interactive Proofs. | Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth |
| 2013 | TCC | Erratum: Succinct Non-interactive Arguments via Linear Interactive Proofs. | Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth |
| 2012 | CRYPTO | Succinct Arguments from Multi-prover Interactive Proofs and Their Efficiency Benefits. | Nir Bitansky, Alessandro Chiesa |