BibTeX records: Alessandro Chiesa

download as .bib file

@article{DBLP:journals/siaga/ChiesaCW19,
  author    = {Alessandro Chiesa and
               Lynn Chua and
               Matthew Weidner},
  title     = {On Cycles of Pairing-Friendly Elliptic Curves},
  journal   = {{SIAM} J. Appl. Algebra Geom.},
  volume    = {3},
  number    = {2},
  pages     = {175--192},
  year      = {2019},
  url       = {https://doi.org/10.1137/18M1173708},
  doi       = {10.1137/18M1173708},
  timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siaga/ChiesaCW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/Ben-SassonCRSVW19,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Michael Riabzev and
               Nicholas Spooner and
               Madars Virza and
               Nicholas P. Ward},
  title     = {Aurora: Transparent Succinct Arguments for {R1CS}},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2019 - 38th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Darmstadt, Germany, May 19-23, 2019, Proceedings, Part {I}},
  pages     = {103--128},
  year      = {2019},
  crossref  = {DBLP:conf/eurocrypt/2019-1},
  url       = {https://doi.org/10.1007/978-3-030-17653-2\_4},
  doi       = {10.1007/978-3-030-17653-2\_4},
  timestamp = {Tue, 14 May 2019 13:47:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/Ben-SassonCRSVW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChiesaMS19,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {Probabilistic Checking Against Non-Signaling Strategies from Linearity
               Testing},
  booktitle = {10th Innovations in Theoretical Computer Science Conference, {ITCS}
               2019, January 10-12, 2019, San Diego, California, {USA}},
  pages     = {25:1--25:17},
  year      = {2019},
  crossref  = {DBLP:conf/innovations/2019},
  url       = {https://doi.org/10.4230/LIPIcs.ITCS.2019.25},
  doi       = {10.4230/LIPIcs.ITCS.2019.25},
  timestamp = {Mon, 27 May 2019 15:36:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/ChiesaMS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaMS19,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {On Local Testability in the Non-Signaling Setting},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {26},
  pages     = {70},
  year      = {2019},
  url       = {https://eccc.weizmann.ac.il/report/2019/070},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaMS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChiesaMS19,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Nicholas Spooner},
  title     = {Succinct Arguments in the Quantum Random Oracle Model},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2019},
  pages     = {834},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/834},
  timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/ChiesaMS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChiesaHMMVW19,
  author    = {Alessandro Chiesa and
               Yuncong Hu and
               Mary Maller and
               Pratyush Mishra and
               Noah Vesely and
               Nicholas P. Ward},
  title     = {Marlin: Preprocessing zkSNARKs with Universal and Updatable {SRS}},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2019},
  pages     = {1047},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/1047},
  timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/ChiesaHMMVW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChiesaOS19,
  author    = {Alessandro Chiesa and
               Dev Ojha and
               Nicholas Spooner},
  title     = {Fractal: Post-Quantum and Transparent Recursive Proofs from Holography},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2019},
  pages     = {1076},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/1076},
  timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/ChiesaOS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/ChiesaMS18,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {Testing Linearity against Non-Signaling Strategies},
  booktitle = {33rd Computational Complexity Conference, {CCC} 2018, June 22-24,
               2018, San Diego, CA, {USA}},
  pages     = {17:1--17:37},
  year      = {2018},
  crossref  = {DBLP:conf/coco/2018},
  url       = {https://doi.org/10.4230/LIPIcs.CCC.2018.17},
  doi       = {10.4230/LIPIcs.CCC.2018.17},
  timestamp = {Thu, 02 May 2019 17:40:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coco/ChiesaMS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChiesaFGS18,
  author    = {Alessandro Chiesa and
               Michael A. Forbes and
               Tom Gur and
               Nicholas Spooner},
  title     = {Spatial Isolation Implies Zero Knowledge Even in a Quantum World},
  booktitle = {59th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
               2018, Paris, France, October 7-9, 2018},
  pages     = {755--765},
  year      = {2018},
  crossref  = {DBLP:conf/focs/2018},
  url       = {https://doi.org/10.1109/FOCS.2018.00077},
  doi       = {10.1109/FOCS.2018.00077},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/ChiesaFGS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChiesaG18,
  author    = {Alessandro Chiesa and
               Tom Gur},
  title     = {Proofs of Proximity for Distribution Testing},
  booktitle = {9th Innovations in Theoretical Computer Science Conference, {ITCS}
               2018, January 11-14, 2018, Cambridge, MA, {USA}},
  pages     = {53:1--53:14},
  year      = {2018},
  crossref  = {DBLP:conf/innovations/2018},
  url       = {https://doi.org/10.4230/LIPIcs.ITCS.2018.53},
  doi       = {10.4230/LIPIcs.ITCS.2018.53},
  timestamp = {Mon, 27 May 2019 15:36:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/ChiesaG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/MishraPCCP18,
  author    = {Pratyush Mishra and
               Rishabh Poddar and
               Jerry Chen and
               Alessandro Chiesa and
               Raluca Ada Popa},
  title     = {Oblix: An Efficient Oblivious Search Index},
  booktitle = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
               21-23 May 2018, San Francisco, California, {USA}},
  pages     = {279--296},
  year      = {2018},
  crossref  = {DBLP:conf/sp/2018},
  url       = {https://doi.org/10.1109/SP.2018.00045},
  doi       = {10.1109/SP.2018.00045},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/MishraPCCP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/WuZCPS18,
  author    = {Howard Wu and
               Wenting Zheng and
               Alessandro Chiesa and
               Raluca Ada Popa and
               Ion Stoica},
  title     = {{DIZK:} {A} Distributed Zero Knowledge Proof System},
  booktitle = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
               MD, USA, August 15-17, 2018},
  pages     = {675--692},
  year      = {2018},
  crossref  = {DBLP:conf/uss/2018},
  url       = {https://www.usenix.org/conference/usenixsecurity18/presentation/wu},
  timestamp = {Mon, 20 Aug 2018 15:16:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/WuZCPS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01519,
  author    = {Alessandro Chiesa and
               Michael A. Forbes and
               Tom Gur and
               Nicholas Spooner},
  title     = {Spatial Isolation Implies Zero Knowledge Even in a Quantum World},
  journal   = {CoRR},
  volume    = {abs/1803.01519},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.01519},
  archivePrefix = {arXiv},
  eprint    = {1803.01519},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-01519},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaFGS18,
  author    = {Alessandro Chiesa and
               Michael A. Forbes and
               Tom Gur and
               Nicholas Spooner},
  title     = {Spatial Isolation Implies Zero Knowledge Even in a Quantum World},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {25},
  pages     = {44},
  year      = {2018},
  url       = {https://eccc.weizmann.ac.il/report/2018/044},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaFGS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaMS18,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {Testing Linearity against Non-Signaling Strategies},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {25},
  pages     = {67},
  year      = {2018},
  url       = {https://eccc.weizmann.ac.il/report/2018/067},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaMS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaMS18a,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {Probabilistic Checking against Non-Signaling Strategies from Linearity
               Testing},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {25},
  pages     = {123},
  year      = {2018},
  url       = {https://eccc.weizmann.ac.il/report/2018/123},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaMS18a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WuZCPS18,
  author    = {Howard Wu and
               Wenting Zheng and
               Alessandro Chiesa and
               Raluca Ada Popa and
               Ion Stoica},
  title     = {{DIZK:} {A} Distributed Zero Knowledge Proof System},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2018},
  pages     = {691},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/691},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/WuZCPS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCRSVW18,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Michael Riabzev and
               Nicholas Spooner and
               Madars Virza and
               Nicholas P. Ward},
  title     = {Aurora: Transparent Succinct Arguments for {R1CS}},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2018},
  pages     = {828},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/828},
  timestamp = {Mon, 15 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCRSVW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BoweCGMMW18,
  author    = {Sean Bowe and
               Alessandro Chiesa and
               Matthew Green and
               Ian Miers and
               Pratyush Mishra and
               Howard Wu},
  title     = {Zexe: Enabling Decentralized Private Computation},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2018},
  pages     = {962},
  year      = {2018},
  url       = {https://eprint.iacr.org/2018/962},
  timestamp = {Tue, 13 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BoweCGMMW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/Ben-SassonCTV17,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Scalable Zero Knowledge Via Cycles of Elliptic Curves},
  journal   = {Algorithmica},
  volume    = {79},
  number    = {4},
  pages     = {1102--1160},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00453-016-0221-0},
  doi       = {10.1007/s00453-016-0221-0},
  timestamp = {Wed, 11 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/algorithmica/Ben-SassonCTV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/BitanskyCCGLRT17,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Shafi Goldwasser and
               Huijia Lin and
               Aviad Rubinstein and
               Eran Tromer},
  title     = {The Hunting of the {SNARK}},
  journal   = {J. Cryptology},
  volume    = {30},
  number    = {4},
  pages     = {989--1066},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00145-016-9241-9},
  doi       = {10.1007/s00145-016-9241-9},
  timestamp = {Fri, 22 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/joc/BitanskyCCGLRT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/approx/ChiesaMS17,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {On Axis-Parallel Tests for Tensor Product Codes},
  booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms
               and Techniques, {APPROX/RANDOM} 2017, August 16-18, 2017, Berkeley,
               CA, {USA}},
  pages     = {39:1--39:22},
  year      = {2017},
  crossref  = {DBLP:conf/approx/2017},
  url       = {https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.39},
  doi       = {10.4230/LIPIcs.APPROX-RANDOM.2017.39},
  timestamp = {Thu, 24 Oct 2019 15:31:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/approx/ChiesaMS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/Ben-SassonBCGGH17,
  author    = {Eli Ben{-}Sasson and
               Iddo Bentov and
               Alessandro Chiesa and
               Ariel Gabizon and
               Daniel Genkin and
               Matan Hamilis and
               Evgenya Pergament and
               Michael Riabzev and
               Mark Silberstein and
               Eran Tromer and
               Madars Virza},
  title     = {Computational Integrity with a Public Random String from Quasi-Linear
               PCPs},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {III}},
  pages     = {551--579},
  year      = {2017},
  crossref  = {DBLP:conf/eurocrypt/2017-3},
  url       = {https://doi.org/10.1007/978-3-319-56617-7\_19},
  doi       = {10.1007/978-3-319-56617-7\_19},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/Ben-SassonBCGGH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/Chiesa0LMMM17,
  author    = {Alessandro Chiesa and
               Matthew Green and
               Jingcheng Liu and
               Peihan Miao and
               Ian Miers and
               Pratyush Mishra},
  title     = {Decentralized Anonymous Micropayments},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {II}},
  pages     = {609--642},
  year      = {2017},
  crossref  = {DBLP:conf/eurocrypt/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-56614-6\_21},
  doi       = {10.1007/978-3-319-56614-6\_21},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/Chiesa0LMMM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ben-SassonCGRS17,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {Interactive Oracle Proofs with Constant Rate and Query Complexity},
  booktitle = {44th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  pages     = {40:1--40:15},
  year      = {2017},
  crossref  = {DBLP:conf/icalp/2017},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2017.40},
  doi       = {10.4230/LIPIcs.ICALP.2017.40},
  timestamp = {Thu, 02 May 2019 17:40:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/Ben-SassonCGRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/Ben-SassonCFGRS17,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Michael A. Forbes and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {Zero Knowledge Protocols from Succinct Constraint Detection},
  booktitle = {Theory of Cryptography - 15th International Conference, {TCC} 2017,
               Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part {II}},
  pages     = {172--206},
  year      = {2017},
  crossref  = {DBLP:conf/tcc/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-70503-3\_6},
  doi       = {10.1007/978-3-319-70503-3\_6},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/Ben-SassonCFGRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaFS17,
  author    = {Alessandro Chiesa and
               Michael A. Forbes and
               Nicholas Spooner},
  title     = {A Zero Knowledge Sumcheck and its Applications},
  journal   = {CoRR},
  volume    = {abs/1704.02086},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.02086},
  archivePrefix = {arXiv},
  eprint    = {1704.02086},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChiesaFS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaFS17,
  author    = {Alessandro Chiesa and
               Michael A. Forbes and
               Nicholas Spooner},
  title     = {A Zero Knowledge Sumcheck and its Applications},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {24},
  pages     = {57},
  year      = {2017},
  url       = {https://eccc.weizmann.ac.il/report/2017/057},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaFS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaMS17,
  author    = {Alessandro Chiesa and
               Peter Manohar and
               Igor Shinkar},
  title     = {On Axis-Parallel Tests for Tensor Product Codes},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {24},
  pages     = {110},
  year      = {2017},
  url       = {https://eccc.weizmann.ac.il/report/2017/110},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaMS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaG17,
  author    = {Alessandro Chiesa and
               Tom Gur},
  title     = {Proofs of Proximity for Distribution Testing},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {24},
  pages     = {155},
  year      = {2017},
  url       = {https://eccc.weizmann.ac.il/report/2017/155},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChiesaFS17,
  author    = {Alessandro Chiesa and
               Michael A. Forbes and
               Nicholas Spooner},
  title     = {A Zero Knowledge Sumcheck and its Applications},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2017},
  pages     = {305},
  year      = {2017},
  url       = {http://eprint.iacr.org/2017/305},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/ChiesaFS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/Ben-SassonCS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Nicholas Spooner},
  title     = {Interactive Oracle Proofs},
  booktitle = {Theory of Cryptography - 14th International Conference, {TCC} 2016-B,
               Beijing, China, October 31 - November 3, 2016, Proceedings, Part {II}},
  pages     = {31--60},
  year      = {2016},
  crossref  = {DBLP:conf/tcc/2016b2},
  url       = {https://doi.org/10.1007/978-3-662-53644-5\_2},
  doi       = {10.1007/978-3-662-53644-5\_2},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/Ben-SassonCS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/Ben-SassonCGV16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Madars Virza},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs},
  booktitle = {Theory of Cryptography - 13th International Conference, {TCC} 2016-A,
               Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part {II}},
  pages     = {33--64},
  year      = {2016},
  crossref  = {DBLP:conf/tcc/2016a2},
  url       = {https://doi.org/10.1007/978-3-662-49099-0\_2},
  doi       = {10.1007/978-3-662-49099-0\_2},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/Ben-SassonCGV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ben-SassonCFGRS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Michael A. Forbes and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {On Probabilistic Checking in Perfect Zero Knowledge},
  journal   = {CoRR},
  volume    = {abs/1610.03798},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.03798},
  archivePrefix = {arXiv},
  eprint    = {1610.03798},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Ben-SassonCFGRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Ben-SassonCGV16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Madars Virza},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {23},
  pages     = {1},
  year      = {2016},
  url       = {http://eccc.hpi-web.de/report/2016/001},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/Ben-SassonCGV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Ben-SassonCGRS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {Short Interactive Oracle Proofs with Constant Query Complexity, via
               Composition and Sumcheck},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {23},
  pages     = {46},
  year      = {2016},
  url       = {http://eccc.hpi-web.de/report/2016/046},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/Ben-SassonCGRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Ben-SassonCFGRS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Michael A. Forbes and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {On Probabilistic Checking in Perfect Zero Knowledge},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {23},
  pages     = {156},
  year      = {2016},
  url       = {http://eccc.hpi-web.de/report/2016/156},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/Ben-SassonCFGRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCGV16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Madars Virza},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {21},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/021},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCGV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Nicholas Spooner},
  title     = {Interactive Oracle Proofs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {116},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/116},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCGRS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {Short Interactive Oracle Proofs with Constant Query Complexity, via
               Composition and Sumcheck},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {324},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/324},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCGRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonBCGGH16,
  author    = {Eli Ben{-}Sasson and
               Iddo Bentov and
               Alessandro Chiesa and
               Ariel Gabizon and
               Daniel Genkin and
               Matan Hamilis and
               Evgenya Pergament and
               Michael Riabzev and
               Mark Silberstein and
               Eran Tromer and
               Madars Virza},
  title     = {Computational integrity with a public random string from quasi-linear
               PCPs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {646},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/646},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonBCGGH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCFGRS16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Michael A. Forbes and
               Ariel Gabizon and
               Michael Riabzev and
               Nicholas Spooner},
  title     = {On Probabilistic Checking in Perfect Zero Knowledge},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {988},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/988},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCFGRS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Chiesa0LMMM16,
  author    = {Alessandro Chiesa and
               Matthew Green and
               Jingcheng Liu and
               Peihan Miao and
               Ian Miers and
               Pratyush Mishra},
  title     = {Decentralized Anonymous Micropayments},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {1033},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/1033},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Chiesa0LMMM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChiesaZ15,
  author    = {Alessandro Chiesa and
               Zeyuan {Allen Zhu}},
  title     = {Shorter arithmetization of nondeterministic computations},
  journal   = {Theor. Comput. Sci.},
  volume    = {600},
  pages     = {107--131},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.07.030},
  doi       = {10.1016/j.tcs.2015.07.030},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/ChiesaZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/ChiesaTV15,
  author    = {Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Cluster Computing in Zero Knowledge},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {II}},
  pages     = {371--403},
  year      = {2015},
  crossref  = {DBLP:conf/eurocrypt/2015-2},
  url       = {https://doi.org/10.1007/978-3-662-46803-6\_13},
  doi       = {10.1007/978-3-662-46803-6\_13},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/ChiesaTV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Ben-SassonC0TV15,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Matthew Green and
               Eran Tromer and
               Madars Virza},
  title     = {Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  pages     = {287--304},
  year      = {2015},
  crossref  = {DBLP:conf/sp/2015},
  url       = {https://doi.org/10.1109/SP.2015.25},
  doi       = {10.1109/SP.2015.25},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/Ben-SassonC0TV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChiesaTV15,
  author    = {Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Cluster Computing in Zero Knowledge},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {377},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/377},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/ChiesaTV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Chiesa14,
  author    = {Alessandro Chiesa},
  title     = {Succinct non-Interactive arguments},
  school    = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
  year      = {2014},
  url       = {http://hdl.handle.net/1721.1/93057},
  timestamp = {Mon, 10 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ndltd/Chiesa14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Ben-SassonCTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Scalable Zero Knowledge via Cycles of Elliptic Curves},
  booktitle = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {II}},
  pages     = {276--294},
  year      = {2014},
  crossref  = {DBLP:conf/crypto/2014-2},
  url       = {https://doi.org/10.1007/978-3-662-44381-1\_16},
  doi       = {10.1007/978-3-662-44381-1\_16},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/Ben-SassonCTV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/ChiesaMZ14,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Knightian self uncertainty in the vcg mechanism for unrestricted combinatorial
               auctions},
  booktitle = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
               , CA, USA, June 8-12, 2014},
  pages     = {619--620},
  year      = {2014},
  crossref  = {DBLP:conf/sigecom/2014},
  url       = {https://doi.org/10.1145/2600057.2602857},
  doi       = {10.1145/2600057.2602857},
  timestamp = {Tue, 15 Oct 2019 12:02:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigecom/ChiesaMZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Ben-SassonCG0MTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Christina Garman and
               Matthew Green and
               Ian Miers and
               Eran Tromer and
               Madars Virza},
  title     = {Zerocash: Decentralized Anonymous Payments from Bitcoin},
  booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
               CA, USA, May 18-21, 2014},
  pages     = {459--474},
  year      = {2014},
  crossref  = {DBLP:conf/sp/2014},
  url       = {https://doi.org/10.1109/SP.2014.36},
  doi       = {10.1109/SP.2014.36},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/Ben-SassonCG0MTV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/Ben-SassonCTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture},
  booktitle = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
               USA, August 20-22, 2014},
  pages     = {781--796},
  year      = {2014},
  crossref  = {DBLP:conf/uss/2014},
  url       = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/ben-sasson},
  timestamp = {Fri, 19 Aug 2016 15:38:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/Ben-SassonCTV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Bridging Utility Maximization and Regret Minimization},
  journal   = {CoRR},
  volume    = {abs/1403.6394},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.6394},
  archivePrefix = {arXiv},
  eprint    = {1403.6394},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChiesaMZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14a,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Knightian Robustness from Regret Minimization},
  journal   = {CoRR},
  volume    = {abs/1403.6409},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.6409},
  archivePrefix = {arXiv},
  eprint    = {1403.6409},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChiesaMZ14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14b,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Knightian Analysis of the {VCG} Mechanism in Unrestricted Combinatorial
               Auctions},
  journal   = {CoRR},
  volume    = {abs/1403.6410},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.6410},
  archivePrefix = {arXiv},
  eprint    = {1403.6410},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChiesaMZ14b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14c,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Knightian Robustness of Single-Parameter Domains},
  journal   = {CoRR},
  volume    = {abs/1403.6411},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.6411},
  archivePrefix = {arXiv},
  eprint    = {1403.6411},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChiesaMZ14c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChiesaMZ14d,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Knightian Robustness of the Vickrey Mechanism},
  journal   = {CoRR},
  volume    = {abs/1403.6413},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.6413},
  archivePrefix = {arXiv},
  eprint    = {1403.6413},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChiesaMZ14d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCG0MTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Christina Garman and
               Matthew Green and
               Ian Miers and
               Eran Tromer and
               Madars Virza},
  title     = {Zerocash: Decentralized Anonymous Payments from Bitcoin},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {349},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/349},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCG0MTV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BitanskyCCGLRT14,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Shafi Goldwasser and
               Huijia Lin and
               Aviad Rubinstein and
               Eran Tromer},
  title     = {The Hunting of the {SNARK}},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {580},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/580},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BitanskyCCGLRT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Scalable Zero Knowledge via Cycles of Elliptic Curves},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {595},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/595},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCTV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Chiesa13,
  author    = {Alessandro Chiesa and
               Michael A. Forbes},
  title     = {Improved Soundness for {QMA} with Multiple Provers},
  journal   = {Chicago J. Theor. Comput. Sci.},
  volume    = {2013},
  year      = {2013},
  url       = {http://cjtcs.cs.uchicago.edu/articles/2013/1/contents.html},
  timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cjtcs/Chiesa13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Ben-SassonCGTV13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer and
               Madars Virza},
  title     = {SNARKs for {C:} Verifying Program Executions Succinctly and in Zero
               Knowledge},
  booktitle = {Advances in Cryptology - {CRYPTO} 2013 - 33rd Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part {II}},
  pages     = {90--108},
  year      = {2013},
  crossref  = {DBLP:conf/crypto/2013-2},
  url       = {https://doi.org/10.1007/978-3-642-40084-1\_6},
  doi       = {10.1007/978-3-642-40084-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/Ben-SassonCGTV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/Ben-SassonCGT13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer},
  title     = {Fast reductions from RAMs to delegatable succinct constraint satisfaction
               problems: extended abstract},
  booktitle = {Innovations in Theoretical Computer Science, {ITCS} '13, Berkeley,
               CA, USA, January 9-12, 2013},
  pages     = {401--414},
  year      = {2013},
  crossref  = {DBLP:conf/innovations/2013},
  url       = {https://doi.org/10.1145/2422436.2422481},
  doi       = {10.1145/2422436.2422481},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/Ben-SassonCGT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BitanskyCCT13,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Eran Tromer},
  title     = {Recursive composition and bootstrapping for {SNARKS} and proof-carrying
               data},
  booktitle = {Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA,
               USA, June 1-4, 2013},
  pages     = {111--120},
  year      = {2013},
  crossref  = {DBLP:conf/stoc/2013},
  url       = {https://doi.org/10.1145/2488608.2488623},
  doi       = {10.1145/2488608.2488623},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/BitanskyCCT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ben-SassonCGT13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer},
  title     = {On the concrete efficiency of probabilistically-checkable proofs},
  booktitle = {Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA,
               USA, June 1-4, 2013},
  pages     = {585--594},
  year      = {2013},
  crossref  = {DBLP:conf/stoc/2013},
  url       = {https://doi.org/10.1145/2488608.2488681},
  doi       = {10.1145/2488608.2488681},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/Ben-SassonCGT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/BitanskyCIPO13,
  author    = {Nir Bitansky and
               Alessandro Chiesa and
               Yuval Ishai and
               Rafail Ostrovsky and
               Omer Paneth},
  title     = {Succinct Non-interactive Arguments via Linear Interactive Proofs},
  booktitle = {Theory of Cryptography - 10th Theory of Cryptography Conference, {TCC}
               2013, Tokyo, Japan, March 3-6, 2013. Proceedings},
  pages     = {315--333},
  year      = {2013},
  crossref  = {DBLP:conf/tcc/2013},
  url       = {https://doi.org/10.1007/978-3-642-36594-2\_18},
  doi       = {10.1007/978-3-642-36594-2\_18},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/BitanskyCIPO13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/BitanskyCIPO13a,
  author    = {Nir Bitansky and
               Alessandro Chiesa and
               Yuval Ishai and
               Rafail Ostrovsky and
               Omer Paneth},
  title     = {Erratum: Succinct Non-interactive Arguments via Linear Interactive
               Proofs},
  booktitle = {Theory of Cryptography - 10th Theory of Cryptography Conference, {TCC}
               2013, Tokyo, Japan, March 3-6, 2013. Proceedings},
  year      = {2013},
  crossref  = {DBLP:conf/tcc/2013},
  url       = {https://doi.org/10.1007/978-3-642-36594-2\_41},
  doi       = {10.1007/978-3-642-36594-2\_41},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/BitanskyCIPO13a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCGTV13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer and
               Madars Virza},
  title     = {SNARKs for {C:} Verifying Program Executions Succinctly and in Zero
               Knowledge},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2013},
  pages     = {507},
  year      = {2013},
  url       = {http://eprint.iacr.org/2013/507},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCGTV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCTV13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Succinct Non-Interactive Arguments for a von Neumann Architecture},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2013},
  pages     = {879},
  year      = {2013},
  url       = {http://eprint.iacr.org/2013/879},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCTV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BitanskyC12,
  author    = {Nir Bitansky and
               Alessandro Chiesa},
  title     = {Succinct Arguments from Multi-prover Interactive Proofs and Their
               Efficiency Benefits},
  booktitle = {Advances in Cryptology - {CRYPTO} 2012 - 32nd Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 19-23, 2012. Proceedings},
  pages     = {255--272},
  year      = {2012},
  crossref  = {DBLP:conf/crypto/2012},
  url       = {https://doi.org/10.1007/978-3-642-32009-5\_16},
  doi       = {10.1007/978-3-642-32009-5\_16},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/BitanskyC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChiesaMZ12,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Mechanism design with approximate valuations},
  booktitle = {Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA,
               January 8-10, 2012},
  pages     = {34--38},
  year      = {2012},
  crossref  = {DBLP:conf/innovations/2012},
  url       = {https://doi.org/10.1145/2090236.2090240},
  doi       = {10.1145/2090236.2090240},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/ChiesaMZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/BitanskyCCT12,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Eran Tromer},
  title     = {From extractable collision resistance to succinct non-interactive
               arguments of knowledge, and back again},
  booktitle = {Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA,
               January 8-10, 2012},
  pages     = {326--349},
  year      = {2012},
  crossref  = {DBLP:conf/innovations/2012},
  url       = {https://doi.org/10.1145/2090236.2090263},
  doi       = {10.1145/2090236.2090263},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/BitanskyCCT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Ben-SassonCGT12,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer},
  title     = {On the Concrete-Efficiency Threshold of Probabilistically-Checkable
               Proofs},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {19},
  pages     = {45},
  year      = {2012},
  url       = {http://eccc.hpi-web.de/report/2012/045},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/Ben-SassonCGT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCGT12,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer},
  title     = {Fast Reductions from RAMs to Delegatable Succinct Constraint Satisfaction
               Problems},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2012},
  pages     = {71},
  year      = {2012},
  url       = {http://eprint.iacr.org/2012/071},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/Ben-SassonCGT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BitanskyCCT12,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Eran Tromer},
  title     = {Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying
               Data},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2012},
  pages     = {95},
  year      = {2012},
  url       = {http://eprint.iacr.org/2012/095},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BitanskyCCT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BitanskyC12,
  author    = {Nir Bitansky and
               Alessandro Chiesa},
  title     = {Succinct Arguments from Multi-Prover Interactive Proofs and their
               Efficiency Benefits},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2012},
  pages     = {461},
  year      = {2012},
  url       = {http://eprint.iacr.org/2012/461},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BitanskyC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BitanskyCIOP12,
  author    = {Nir Bitansky and
               Alessandro Chiesa and
               Yuval Ishai and
               Rafail Ostrovsky and
               Omer Paneth},
  title     = {Succinct Non-Interactive Arguments via Linear Interactive Proofs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2012},
  pages     = {718},
  year      = {2012},
  url       = {http://eprint.iacr.org/2012/718},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BitanskyCIOP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-2080,
  author    = {Raluca A. Popa and
               Alessandro Chiesa and
               Tural Badirkhanli and
               Muriel M{\'{e}}dard},
  title     = {Going Beyond Pollution Attacks: Forcing Byzantine Clients to Code
               Correctly},
  journal   = {CoRR},
  volume    = {abs/1108.2080},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.2080},
  archivePrefix = {arXiv},
  eprint    = {1108.2080},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-2080},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-2098,
  author    = {Alessandro Chiesa and
               Michael A. Forbes},
  title     = {Improved Soundness for {QMA} with Multiple Provers},
  journal   = {CoRR},
  volume    = {abs/1108.2098},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.2098},
  archivePrefix = {arXiv},
  eprint    = {1108.2098},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-2098},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-1147,
  author    = {Alessandro Chiesa and
               Silvio Micali and
               Zeyuan {Allen Zhu}},
  title     = {Knightian Auctions},
  journal   = {CoRR},
  volume    = {abs/1112.1147},
  year      = {2011},
  url       = {http://arxiv.org/abs/1112.1147},
  archivePrefix = {arXiv},
  eprint    = {1112.1147},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1112-1147},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChiesaF11,
  author    = {Alessandro Chiesa and
               Michael A. Forbes},
  title     = {Improved Soundness for {QMA} with Multiple Provers},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {18},
  pages     = {110},
  year      = {2011},
  url       = {http://eccc.hpi-web.de/report/2011/110},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ChiesaF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BitanskyCCT11,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Eran Tromer},
  title     = {From Extractable Collision Resistance to Succinct Non-Interactive
               Arguments of Knowledge, and Back Again},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2011},
  pages     = {443},
  year      = {2011},
  url       = {http://eprint.iacr.org/2011/443},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BitanskyCCT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/ChiesaT10,
  author    = {Alessandro Chiesa and
               Eran Tromer},
  title     = {Proof-Carrying Data and Hearsay Arguments from Signature Cards},
  booktitle = {Innovations in Computer Science - {ICS} 2010, Tsinghua University,
               Beijing, China, January 5-7, 2010. Proceedings},
  pages     = {310--331},
  year      = {2010},
  crossref  = {DBLP:conf/innovations/2010},
  url       = {http://conference.iiis.tsinghua.edu.cn/ICS2010/content/papers/25.html},
  timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/ChiesaT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2019-1,
  editor    = {Yuval Ishai and
               Vincent Rijmen},
  title     = {Advances in Cryptology - {EUROCRYPT} 2019 - 38th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Darmstadt, Germany, May 19-23, 2019, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11476},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17653-2},
  doi       = {10.1007/978-3-030-17653-2},
  isbn      = {978-3-030-17652-5},
  timestamp = {Tue, 14 May 2019 13:47:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/2019-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/innovations/2019,
  editor    = {Avrim Blum},
  title     = {10th Innovations in Theoretical Computer Science Conference, {ITCS}
               2019, January 10-12, 2019, San Diego, California, {USA}},
  series    = {LIPIcs},
  volume    = {124},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-095-8},
  isbn      = {978-3-95977-095-8},
  timestamp = {Mon, 27 May 2019 15:36:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coco/2018,
  editor    = {Rocco A. Servedio},
  title     = {33rd Computational Complexity Conference, {CCC} 2018, June 22-24,
               2018, San Diego, CA, {USA}},
  series    = {LIPIcs},
  volume    = {102},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-069-9},
  isbn      = {978-3-95977-069-9},
  timestamp = {Thu, 02 May 2019 17:40:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coco/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/2018,
  editor    = {Mikkel Thorup},
  title     = {59th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
               2018, Paris, France, October 7-9, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8554191/proceeding},
  isbn      = {978-1-5386-4230-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/innovations/2018,
  editor    = {Anna R. Karlin},
  title     = {9th Innovations in Theoretical Computer Science Conference, {ITCS}
               2018, January 11-14, 2018, Cambridge, MA, {USA}},
  series    = {LIPIcs},
  volume    = {94},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-060-6},
  isbn      = {978-3-95977-060-6},
  timestamp = {Mon, 27 May 2019 15:36:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2018,
  title     = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
               21-23 May 2018, San Francisco, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8418581/proceeding},
  isbn      = {978-1-5386-4353-2},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2018,
  editor    = {William Enck and
               Adrienne Porter Felt},
  title     = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
               MD, USA, August 15-17, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/usenixsecurity18},
  timestamp = {Mon, 20 Aug 2018 15:16:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/approx/2017,
  editor    = {Klaus Jansen and
               Jos{\'{e}} D. P. Rolim and
               David Williamson and
               Santosh S. Vempala},
  title     = {Approximation, Randomization, and Combinatorial Optimization. Algorithms
               and Techniques, {APPROX/RANDOM} 2017, August 16-18, 2017, Berkeley,
               CA, {USA}},
  series    = {LIPIcs},
  volume    = {81},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-044-6},
  isbn      = {978-3-95977-044-6},
  timestamp = {Thu, 24 Oct 2019 15:31:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/approx/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2017-3,
  editor    = {Jean{-}S{\'{e}}bastien Coron and
               Jesper Buus Nielsen},
  title     = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10212},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56617-7},
  doi       = {10.1007/978-3-319-56617-7},
  isbn      = {978-3-319-56616-0},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/2017-3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2017-2,
  editor    = {Jean{-}S{\'{e}}bastien Coron and
               Jesper Buus Nielsen},
  title     = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10211},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56614-6},
  doi       = {10.1007/978-3-319-56614-6},
  isbn      = {978-3-319-56613-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2017,
  editor    = {Ioannis Chatzigiannakis and
               Piotr Indyk and
               Fabian Kuhn and
               Anca Muscholl},
  title     = {44th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  series    = {LIPIcs},
  volume    = {80},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-041-5},
  isbn      = {978-3-95977-041-5},
  timestamp = {Thu, 02 May 2019 17:40:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tcc/2017-2,
  editor    = {Yael Kalai and
               Leonid Reyzin},
  title     = {Theory of Cryptography - 15th International Conference, {TCC} 2017,
               Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10678},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70503-3},
  doi       = {10.1007/978-3-319-70503-3},
  isbn      = {978-3-319-70502-6},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tcc/2016b2,
  editor    = {Martin Hirt and
               Adam D. Smith},
  title     = {Theory of Cryptography - 14th International Conference, {TCC} 2016-B,
               Beijing, China, October 31 - November 3, 2016, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9986},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53644-5},
  doi       = {10.1007/978-3-662-53644-5},
  isbn      = {978-3-662-53643-8},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/2016b2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tcc/2016a2,
  editor    = {Eyal Kushilevitz and
               Tal Malkin},
  title     = {Theory of Cryptography - 13th International Conference, {TCC} 2016-A,
               Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9563},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49099-0},
  doi       = {10.1007/978-3-662-49099-0},
  isbn      = {978-3-662-49098-3},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/2016a2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2015-2,
  editor    = {Elisabeth Oswald and
               Marc Fischlin},
  title     = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9057},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46803-6},
  doi       = {10.1007/978-3-662-46803-6},
  isbn      = {978-3-662-46802-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocrypt/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2015,
  title     = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7160813/proceeding},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/crypto/2014-2,
  editor    = {Juan A. Garay and
               Rosario Gennaro},
  title     = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8617},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44381-1},
  doi       = {10.1007/978-3-662-44381-1},
  isbn      = {978-3-662-44380-4},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/2014-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigecom/2014,
  editor    = {Moshe Babaioff and
               Vincent Conitzer and
               David A. Easley},
  title     = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
               , CA, USA, June 8-12, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2600057},
  doi       = {10.1145/2600057},
  isbn      = {978-1-4503-2565-3},
  timestamp = {Tue, 15 Oct 2019 12:02:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigecom/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2014,
  title     = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
               CA, USA, May 18-21, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6954656/proceeding},
  isbn      = {978-1-4799-4686-0},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2014,
  editor    = {Kevin Fu and
               Jaeyeon Jung},
  title     = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
               USA, August 20-22, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/usenixsecurity14},
  timestamp = {Fri, 19 Aug 2016 15:38:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/crypto/2013-2,
  editor    = {Ran Canetti and
               Juan A. Garay},
  title     = {Advances in Cryptology - {CRYPTO} 2013 - 33rd Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8043},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40084-1},
  doi       = {10.1007/978-3-642-40084-1},
  isbn      = {978-3-642-40083-4},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/2013-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/innovations/2013,
  editor    = {Robert D. Kleinberg},
  title     = {Innovations in Theoretical Computer Science, {ITCS} '13, Berkeley,
               CA, USA, January 9-12, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2422436},
  isbn      = {978-1-4503-1859-4},
  timestamp = {Sun, 17 Feb 2013 11:19:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/2013,
  editor    = {Dan Boneh and
               Tim Roughgarden and
               Joan Feigenbaum},
  title     = {Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA,
               USA, June 1-4, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2488608},
  isbn      = {978-1-4503-2029-0},
  timestamp = {Sun, 26 May 2013 10:30:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tcc/2013,
  editor    = {Amit Sahai},
  title     = {Theory of Cryptography - 10th Theory of Cryptography Conference, {TCC}
               2013, Tokyo, Japan, March 3-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7785},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36594-2},
  doi       = {10.1007/978-3-642-36594-2},
  isbn      = {978-3-642-36593-5},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tcc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/crypto/2012,
  editor    = {Reihaneh Safavi{-}Naini and
               Ran Canetti},
  title     = {Advances in Cryptology - {CRYPTO} 2012 - 32nd Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 19-23, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7417},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32009-5},
  doi       = {10.1007/978-3-642-32009-5},
  isbn      = {978-3-642-32008-8},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crypto/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/innovations/2012,
  editor    = {Shafi Goldwasser},
  title     = {Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA,
               January 8-10, 2012},
  publisher = {{ACM}},
  year      = {2012},
  isbn      = {978-1-4503-1115-1},
  timestamp = {Sat, 24 Mar 2012 15:58:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/innovations/2010,
  editor    = {Andrew Chi{-}Chih Yao},
  title     = {Innovations in Computer Science - {ICS} 2010, Tsinghua University,
               Beijing, China, January 5-7, 2010. Proceedings},
  publisher = {Tsinghua University Press},
  year      = {2010},
  isbn      = {978-7-302-21752-7},
  timestamp = {Mon, 27 Sep 2010 12:57:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/innovations/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics