Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Matthew Green, Ian Miers, Eran Tromer, and Madars Virza. 2014. Zerocash: Decentralized Anonymous Payments from Bitcoin. In Proceedings of the 35th IEEE Symposium on Security and Privacy, pp. 459–474. IEEE Computer Society. https://doi.org/10.1109/SP.2014.36
BibTeX
@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}},
}
Neha Narula, Willy Vasquez, and Madars Virza. 2018. zkLedger: Privacy-Preserving Auditing for Distributed Ledgers. In Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, pp. 65–80. USENIX Association. https://www.usenix.org/conference/nsdi18/presentation/narula
BibTeX
@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}},
}
James Lovejoy, Madars Virza, Cory Fields, Kevin Karwaski, Anders Brownworth, and Neha Narula. 2023. Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies. In Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, pp. 901–915. USENIX Association. https://www.usenix.org/conference/nsdi23/presentation/lovejoy
BibTeX
@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},
}
James Lovejoy, Anders Brownworth, Madars Virza, and Neha Narula. 2023. PArSEC: Executing Smart Contracts in Parallel. Technical report. Federal Reserve Bank of Boston and MIT Digital Currency Initiative. https://dci.mit.edu/parsec
BibTeX
@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},
}
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, and Madars Virza. 2013. SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge. In Proceedings of the 33rd Annual International Cryptology Conference, pp. 90–108. Springer. https://doi.org/10.1007/978-3-642-40084-1_6
BibTeX
@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}},
}
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, and Madars Virza. 2014. Scalable Zero Knowledge via Cycles of Elliptic Curves. In Proceedings of the 34th Annual International Cryptology Conference, pp. 276–294. Springer. https://doi.org/10.1007/978-3-662-44381-1_16
BibTeX
@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}},
}
Alessandro Chiesa, Eran Tromer, and Madars Virza. 2015. Cluster Computing in Zero Knowledge. In Proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 371–403. Springer. https://doi.org/10.1007/978-3-662-46803-6_13
BibTeX
@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}},
}
Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer, and Madars Virza. 2015. Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs. In Proceedings of the 36th IEEE Symposium on Security and Privacy, pp. 287–304. IEEE Computer Society. https://doi.org/10.1109/SP.2015.25
BibTeX
@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},
}
Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, and Madars Virza. 2016. Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs. In Proceedings of the 13th Theory of Cryptography Conference, pp. 33–64. Springer. https://doi.org/10.1007/978-3-662-49099-0_2
BibTeX
@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}},
}
Eli Ben-Sasson, Iddo Bentov, Alessandro Chiesa, Ariel Gabizon, Daniel Genkin, Matan Hamilis, Evgenya Pergament, Michael Riabzev, Mark Silberstein, Eran Tromer, and Madars Virza. 2017. Computational Integrity with a Public Random String from Quasi-Linear PCPs. In Proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 551–579. Springer. https://doi.org/10.1007/978-3-319-56617-7_19
BibTeX
@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}},
}
Eli Ben-Sasson, Alessandro Chiesa, Michael Riabzev, Nicholas Spooner, Madars Virza, and Nicholas P. Ward. 2019. Aurora: Transparent Succinct Arguments for R1CS. In Proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 103–128. Springer. https://doi.org/10.1007/978-3-030-17653-2_4
BibTeX
@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}},
}
Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, and Madars Virza. 2020. TinyRAM Architecture Specification, v2.000. Technical report. SCIPR Lab. https://www.scipr-lab.org/doc/TinyRAM-spec-2.000.pdf
BibTeX
@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},
}
Ethan Heilman, Neha Narula, Garrett Tanzer, James Lovejoy, Michael Colavita, Madars Virza, and Tadge Dryja. 2020. Cryptanalysis of Curl-P and Other Attacks on the IOTA Cryptocurrency. IACR Transactions on Symmetric Cryptology 2020(3), 367–391. https://doi.org/10.13154/tosc.v2020.i3.367-391
BibTeX
@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}},
}
Ronald L. Rivest and Madars Virza. 2016. Software Independence Revisited. In Feng Hao and Peter Y. A. Ryan (Eds.), Real-World Electronic Voting: Design, Analysis and Deployment, pp. 3–17. CRC Press. https://doi.org/10.1201/9781315371290
BibTeX
@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},
}
An Open Letter to the Members of the Massachusetts Legislature Regarding the Adoption of Actuarial Risk Assessment Tools in the Criminal Justice System
Chelsea Barabas, Christopher Bavitz, Ryan Budish, Karthik Dinakar, Cynthia Dwork, Urs Gasser, Kira Hessekiel, Joichi Ito, Ronald L. Rivest, Madars Virza, and Jonathan Zittrain. 2017. An Open Letter to the Members of the Massachusetts Legislature Regarding the Adoption of Actuarial Risk Assessment Tools in the Criminal Justice System. Berkman Klein Center for Internet & Society. https://cyber.harvard.edu/publications/2017/11/openletter
BibTeX
@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},
}
Chelsea Barabas, Madars Virza, Karthik Dinakar, Joichi Ito, and Jonathan Zittrain. 2018. Interventions over Predictions: Reframing the Ethical Debate for Actuarial Risk Assessment. In Proceedings of the 1st Conference on Fairness, Accountability and Transparency, pp. 62–76. PMLR. https://proceedings.mlr.press/v81/barabas18a.html
BibTeX
@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}},
}
Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Dmitrijs Kravčenko, Raitis Ozols, Juris Smotrovs, and Madars Virza. 2012. Quantum Strategies Are Better Than Classical in Almost Any XOR Game. In Proceedings of the 39th International Colloquium on Automata, Languages and Programming, pp. 25–37. Springer. https://doi.org/10.1007/978-3-642-31594-7_3
BibTeX
@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}},
}
Andris Ambainis, Jānis Iraids, Dmitry Kravchenko, and Madars Virza. 2012. Advantage of Quantum Strategies in Random Symmetric XOR Games. In Proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, pp. 57–68. Springer. https://doi.org/10.1007/978-3-642-36046-6_7
BibTeX
@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},
}
Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs, and Madars Virza. 2013. Worst Case Analysis of Non-local Games. In Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, pp. 121–132. Springer. https://doi.org/10.1007/978-3-642-35843-2_12
BibTeX
@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}},
}
Andris Ambainis, Dmitry Kravchenko, Nikolay Nahimov, Alexander Rivosh, and Madars Virza. 2013. On symmetric nonlocal games. Theoretical Computer Science 494, 36–48. https://doi.org/10.1016/j.tcs.2013.03.011
BibTeX
@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},
}
Inguna Skadiņa, Madars Virza, and Lauma Pretkalniņa. 2012. Angļu-latviešu statistiskās mašīntulkošanas sistēmas izveide: metodes, resursi un pirmie rezultāti. Baltistica 8, 155–168. https://doi.org/10.15388/baltistica.0.8.2118
BibTeX
@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},
}