Publications

1. SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
   Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, and Madars Virza
   33rd International Cryptology Conference (CRYPTO 2013)
   
   
2. On the Concrete Efficiency of Probabilistically-Checkable Proofs
   Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, and Eran Tromer
   45th ACM Symposium on the Theory of Computing (STOC 13)
   
   
3. Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data
   Nir Bitansky, Ran Canetti, Alessandro Chiesa, and Eran Tromer
   45th ACM Symposium on the Theory of Computing (STOC 13)
   
   
4. Improved Soundness for QMA with Multiple Provers
   Alessandro Chiesa and Michael Forbes
   Chicago Journal of Theoretical Computer Science
   
   
5. Succinct Non-Interactive Arguments via Linear Interactive Proofs
   Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, and Omer Paneth
   10th Theory of Cryptography Conference (TCC 2013)
   
   
6. Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction Problems
   Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, and Eran Tromer
   4th Symposium on Innovations in Theoretical Computer Science (ITCS 2013)
   
   
7. Succinct Arguments from Multi-Prover Interactive Proofs and their Efficiency Benefits
   Nir Bitansky and Alessandro Chiesa
   32nd International Cryptology Conference (CRYPTO 2012)
   
   
8. From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge, and Back Again
   Nir Bitansky, Ran Canetti, Alessandro Chiesa, and Eran Tromer
   3rd Symposium on Innovations in Theoretical Computer Science (ITCS 2012)
   
   
9. Mechanism Design with Approximate Valuations
   Alessandro Chiesa, Silvio Micali, and Zeyuan Allen Zhu
   3rd Symposium on Innovations in Theoretical Computer Science (ITCS 2012)
   
   
10. Proof-Carrying Data and Hearsay Arguments from Signature Cards
    Alessandro Chiesa and Eran Tromer
    1st Symposium on Innovations in Computer Science (ICS 2010)
    
    
11. A Security Analysis of the Boston T
    Zackary Anderson, Alessandro Chiesa, Samuel McVeety, and Russell Ryan
    DEF CON 16 (but the talk had to be canceled!)
    
    
12. Companion Matrices for Systems of Polynomial Equations
    Alessandro Chiesa
    MIT's Undergraduate Journal of Mathematics, Volume 10, pp.31--41, 2008

Theses

• Ph.D. thesis (todo!)
  
  
• Proof-Carrying Data
  My M.Eng. thesis at MIT