% BibTeX for Madars Virza's publications. Please check https://madars.org/papers for updates.
% Entries are checked against the published versions.

@inproceedings{bensasson2014zerocash,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Garman, Christina and Green, Matthew and Miers, Ian and Tromer, Eran and Virza, Madars},
  title     = {Zerocash: Decentralized Anonymous Payments from {Bitcoin}},
  booktitle = {Proceedings of the 35th IEEE Symposium on Security and Privacy},
  series    = {S\&P~'14},
  year      = {2014},
  pages     = {459--474},
  publisher = {{IEEE} Computer Society},
  doi       = {10.1109/SP.2014.36},
  note      = {Extended version: \url{https://eprint.iacr.org/2014/349}},
}

@inproceedings{narula2018zkledger,
  author    = {Narula, Neha and Vasquez, Willy and Virza, Madars},
  title     = {{zkLedger}: Privacy-Preserving Auditing for Distributed Ledgers},
  booktitle = {Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation},
  series    = {NSDI~'18},
  year      = {2018},
  pages     = {65--80},
  publisher = {{USENIX} Association},
  url       = {https://www.usenix.org/conference/nsdi18/presentation/narula},
  note      = {ePrint: \url{https://eprint.iacr.org/2018/241}},
}

@inproceedings{lovejoy2023hamilton,
  author    = {Lovejoy, James and Virza, Madars and Fields, Cory and Karwaski, Kevin and Brownworth, Anders and Narula, Neha},
  title     = {Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies},
  booktitle = {Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation},
  series    = {NSDI~'23},
  year      = {2023},
  pages     = {901--915},
  publisher = {{USENIX} Association},
  url       = {https://www.usenix.org/conference/nsdi23/presentation/lovejoy},
}

@techreport{lovejoy2023parsec,
  author      = {Lovejoy, James and Brownworth, Anders and Virza, Madars and Narula, Neha},
  title       = {{PArSEC}: Executing Smart Contracts in Parallel},
  institution = {Federal Reserve Bank of Boston and MIT Digital Currency Initiative},
  year        = {2023},
  url         = {https://dci.mit.edu/parsec},
}

@inproceedings{bensasson2013snarks,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars},
  title     = {{SNARKs} for {C}: Verifying Program Executions Succinctly and in Zero Knowledge},
  booktitle = {Proceedings of the 33rd Annual International Cryptology Conference},
  series    = {CRYPTO~'13},
  year      = {2013},
  pages     = {90--108},
  publisher = {Springer},
  doi       = {10.1007/978-3-642-40084-1_6},
  note      = {Extended version: \url{https://eprint.iacr.org/2013/507}},
}

@inproceedings{bensasson2014succinct,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Tromer, Eran and Virza, Madars},
  title     = {Succinct Non-Interactive Zero Knowledge for a von {Neumann} Architecture},
  booktitle = {Proceedings of the 23rd USENIX Security Symposium},
  series    = {Security~'14},
  year      = {2014},
  pages     = {781--796},
  publisher = {{USENIX} Association},
  url       = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/ben-sasson},
  note      = {Extended version: \url{https://eprint.iacr.org/2013/879}},
}

@inproceedings{bensasson2014scalable,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Tromer, Eran and Virza, Madars},
  title     = {Scalable Zero Knowledge via Cycles of Elliptic Curves},
  booktitle = {Proceedings of the 34th Annual International Cryptology Conference},
  series    = {CRYPTO~'14},
  year      = {2014},
  pages     = {276--294},
  publisher = {Springer},
  doi       = {10.1007/978-3-662-44381-1_16},
  note      = {Extended version: \url{https://eprint.iacr.org/2014/595}},
}

@inproceedings{chiesa2015cluster,
  author    = {Chiesa, Alessandro and Tromer, Eran and Virza, Madars},
  title     = {Cluster Computing in Zero Knowledge},
  booktitle = {Proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques},
  series    = {EUROCRYPT~'15},
  year      = {2015},
  pages     = {371--403},
  publisher = {Springer},
  doi       = {10.1007/978-3-662-46803-6_13},
  note      = {Extended version: \url{https://eprint.iacr.org/2015/377}},
}

@inproceedings{bensasson2015secure,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Green, Matthew and Tromer, Eran and Virza, Madars},
  title     = {Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs},
  booktitle = {Proceedings of the 36th IEEE Symposium on Security and Privacy},
  series    = {S\&P~'15},
  year      = {2015},
  pages     = {287--304},
  publisher = {{IEEE} Computer Society},
  doi       = {10.1109/SP.2015.25},
}

@inproceedings{bensasson2016quasilinear,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Gabizon, Ariel and Virza, Madars},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic {PCP}s},
  booktitle = {Proceedings of the 13th Theory of Cryptography Conference},
  series    = {TCC~'16-A},
  year      = {2016},
  pages     = {33--64},
  publisher = {Springer},
  doi       = {10.1007/978-3-662-49099-0_2},
  note      = {ePrint: \url{https://eprint.iacr.org/2016/021}},
}

@inproceedings{bensasson2017computational,
  author    = {{Ben-Sasson}, Eli and Bentov, Iddo and Chiesa, Alessandro and Gabizon, Ariel and Genkin, Daniel and Hamilis, Matan and Pergament, Evgenya and Riabzev, Michael and Silberstein, Mark and Tromer, Eran and Virza, Madars},
  title     = {Computational Integrity with a Public Random String from Quasi-Linear {PCP}s},
  booktitle = {Proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques},
  series    = {EUROCRYPT~'17},
  year      = {2017},
  pages     = {551--579},
  publisher = {Springer},
  doi       = {10.1007/978-3-319-56617-7_19},
  note      = {ePrint: \url{https://eprint.iacr.org/2016/646}},
}

@phdthesis{virza2017thesis,
  author = {Virza, Madars},
  title  = {On deploying succinct zero-knowledge proofs},
  school = {Massachusetts Institute of Technology},
  year   = {2017},
  month  = aug,
  url    = {https://madars.org/phd-thesis/},
}

@inproceedings{bensasson2019aurora,
  author    = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Riabzev, Michael and Spooner, Nicholas and Virza, Madars and Ward, Nicholas P.},
  title     = {Aurora: Transparent Succinct Arguments for {R1CS}},
  booktitle = {Proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques},
  series    = {EUROCRYPT~'19},
  year      = {2019},
  pages     = {103--128},
  publisher = {Springer},
  doi       = {10.1007/978-3-030-17653-2_4},
  note      = {Extended version: \url{https://eprint.iacr.org/2018/828}},
}

@techreport{bensasson2020tinyram,
  author      = {{Ben-Sasson}, Eli and Chiesa, Alessandro and Genkin, Daniel and Tromer, Eran and Virza, Madars},
  title       = {{TinyRAM} Architecture Specification, v2.000},
  institution = {{SCIPR Lab}},
  year        = {2020},
  month       = mar,
  url         = {https://www.scipr-lab.org/doc/TinyRAM-spec-2.000.pdf},
}

@article{heilman2020cryptanalysis,
  author  = {Heilman, Ethan and Narula, Neha and Tanzer, Garrett and Lovejoy, James and Colavita, Michael and Virza, Madars and Dryja, Tadge},
  title   = {Cryptanalysis of {Curl-P} and Other Attacks on the {IOTA} Cryptocurrency},
  journal = {{IACR} Transactions on Symmetric Cryptology},
  volume  = {2020},
  number  = {3},
  year    = {2020},
  pages   = {367--391},
  issn    = {2519-173X},
  doi     = {10.13154/tosc.v2020.i3.367-391},
  note    = {ePrint: \url{https://eprint.iacr.org/2019/344}},
}

@incollection{rivest2016software,
  author    = {Rivest, Ronald L. and Virza, Madars},
  title     = {Software Independence Revisited},
  booktitle = {Real-World Electronic Voting: Design, Analysis and Deployment},
  editor    = {Hao, Feng and Ryan, Peter Y. A.},
  series    = {Series in Security, Privacy and Trust},
  year      = {2016},
  chapter   = {1},
  pages     = {3--17},
  publisher = {CRC Press},
  isbn      = {9781498714693},
  doi       = {10.1201/9781315371290},
  url       = {https://people.csail.mit.edu/rivest/pubs/RV16.pdf},
}

@misc{barabas2017open,
  author       = {Barabas, Chelsea and Bavitz, Christopher and Budish, Ryan and Dinakar, Karthik and Dwork, Cynthia and Gasser, Urs and Hessekiel, Kira and Ito, Joichi and Rivest, Ronald L. and Virza, Madars and Zittrain, Jonathan},
  title        = {An Open Letter to the Members of the {Massachusetts} Legislature Regarding the Adoption of Actuarial Risk Assessment Tools in the Criminal Justice System},
  howpublished = {Berkman Klein Center for Internet \& Society},
  year         = {2017},
  month        = nov,
  url          = {https://cyber.harvard.edu/publications/2017/11/openletter},
}

@inproceedings{barabas2018interventions,
  author    = {Barabas, Chelsea and Virza, Madars and Dinakar, Karthik and Ito, Joichi and Zittrain, Jonathan},
  title     = {Interventions over Predictions: Reframing the Ethical Debate for Actuarial Risk Assessment},
  booktitle = {Proceedings of the 1st Conference on Fairness, Accountability and Transparency},
  series    = {FAT*~2018},
  year      = {2018},
  pages     = {62--76},
  publisher = {PMLR},
  note      = {PMLR: \url{https://proceedings.mlr.press/v81/barabas18a.html}},
}

@article{virza2011sensitivity,
  author  = {Virza, Madars},
  title   = {Sensitivity versus block sensitivity of {Boolean} functions},
  journal = {Information Processing Letters},
  volume  = {111},
  number  = {9},
  year    = {2011},
  pages   = {433--435},
  doi     = {10.1016/j.ipl.2011.02.001},
  note    = {arXiv: \url{https://arxiv.org/abs/1008.0521}},
}

@inproceedings{ambainis2012quantum,
  author    = {Ambainis, Andris and Ba{\v{c}}kurs, Art{\=u}rs and Balodis, Kaspars and Krav{\v{c}}enko, Dmitrijs and Ozols, Raitis and Smotrovs, Juris and Virza, Madars},
  title     = {Quantum Strategies Are Better Than Classical in Almost Any {XOR} Game},
  booktitle = {Proceedings of the 39th International Colloquium on Automata, Languages and Programming},
  series    = {ICALP~'12},
  year      = {2012},
  pages     = {25--37},
  publisher = {Springer},
  doi       = {10.1007/978-3-642-31594-7_3},
  note      = {arXiv: \url{https://arxiv.org/abs/1112.3330}},
}

@inproceedings{ambainis2012advantage,
  author    = {Ambainis, Andris and Iraids, J{\=a}nis and Kravchenko, Dmitry and Virza, Madars},
  title     = {Advantage of Quantum Strategies in Random Symmetric {XOR} Games},
  booktitle = {Proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science},
  series    = {MEMICS~'12},
  year      = {2012},
  pages     = {57--68},
  publisher = {Springer},
  doi       = {10.1007/978-3-642-36046-6_7},
}

@inproceedings{ambainis2013worst,
  author    = {Ambainis, Andris and Ba{\v{c}}kurs, Art{\=u}rs and Balodis, Kaspars and {\v{S}}ku{\v{s}}kovniks, Agnis and Smotrovs, Juris and Virza, Madars},
  title     = {Worst Case Analysis of Non-local Games},
  booktitle = {Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science},
  series    = {SOFSEM~'13},
  year      = {2013},
  pages     = {121--132},
  publisher = {Springer},
  doi       = {10.1007/978-3-642-35843-2_12},
  note      = {arXiv: \url{https://arxiv.org/abs/1112.2856}},
}

@article{ambainis2013symmetric,
  author  = {Ambainis, Andris and Kravchenko, Dmitry and Nahimov, Nikolay and Rivosh, Alexander and Virza, Madars},
  title   = {On symmetric nonlocal games},
  journal = {Theoretical Computer Science},
  volume  = {494},
  year    = {2013},
  pages   = {36--48},
  doi     = {10.1016/j.tcs.2013.03.011},
}

@article{skadina2012mt,
  author  = {Skadi{\c{n}}a, Inguna and Virza, Madars and Pretkalni{\c{n}}a, Lauma},
  title   = {Ang{\c{l}}u-latvie{\v{s}}u statistisk{\=a}s ma{\v{s}}{\=i}ntulko{\v{s}}anas sist{\=e}mas izveide: metodes, resursi un pirmie rezult{\=a}ti},
  journal = {Baltistica},
  volume  = {8},
  year    = {2012},
  pages   = {155--168},
  doi     = {10.15388/baltistica.0.8.2118},
  url     = {https://www.zurnalai.vu.lt/baltistica/en/article/download/42649/39886/119581},
  note    = {Proceedings of the 11th International Congress of Balticists},
}