Madars Virza

G. Torres Vives, M. Virza, R. Youngblom, F. C. Calabia, N. Vaughan, Z. Said, C. Mundakkal and S. Mullings. Enhancing the Privacy of a Digital Pound // Bank of England and MIT Digital Currency Initiative, 2024 [PDF]

J. Lovejoy, A. Brownworth, M. Virza and N. Narula. PArSEC: Executing Smart Contracts in Parallel // Federal Reserve Bank of Boston and MIT Digital Currency Initiative, 2023 [PDF]

J. Lovejoy, M. Virza, C. Fields, K. Karwaski, A. Brownworth and N. Narula. Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies // In proceedings of 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2023) [USENIX]

E. Heilman, N. Narula, G. Tanzer, J. Lovejoy, M. Colavita, M. Virza and T. Dryja. Cryptanalysis of Curl-P and Other Attacks on the IOTA Cryptocurrency // IACR Transactions on Symmetric Cryptology (ToSC 2020) [ToSC] [ePrint]

E. Ben-Sasson, A. Chiesa, M. Riabzev, N. Spooner, M. Virza and N. P. Ward. Aurora: Transparent Succinct Arguments for R1CS // In proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2019) [ePrint]

N. Narula, W. Vasquez and M. Virza. zkLedger: Privacy-Preserving Auditing for Distributed Ledgers // In proceedings of 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18) [ePrint] [website]

C. Barabas, M. Virza, K. Dinakar, J. Ito and J. Zittrain. Interventions over Predictions: Reframing the Ethical Debate for Actuarial Risk Assessment // In proceedings of the Conference on Fairness, Accountability and Transparency (FAT* 2018)

E. Ben-Sasson, I. Bentov, A. Chiesa, A. Gabizon, D. Genkin, M. Hamilis, E.Pergament, M. Riabzev, M. Silberstein, E. Tromer and M. Virza 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 (EUROCRYPT 2017) [ePrint]

E. Ben-Sasson, A. Chiesa, A. Gabizon, M. Virza Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs // In proceedings of 13th IACR Theory of Cryptography Conference (TCC 2016-A) [ePrint] [ECCC] [doi]

R. L. Rivest and M. Virza. Software Independence Revisited // In Real-World Electronic Voting: Design, Analysis and Deployment (F. Hao and P. Y. A. Ryan, eds.), CRC Press, 2016

E. Ben-Sasson, A. Chiesa, M. Green, E. Tromer, M. Virza. Secure sampling of public parameters for succinct zero knowledge proofs // In proceedings of the IEEE Symposium on Security & Privacy (Oakland) 2015 [doi]

A. Chiesa, E. Tromer and M. Virza. Cluster computing in zero knowledge // In proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2015) [ePrint] [doi]

E. Ben-Sasson, A. Chiesa, E. Tromer and M. Virza. Scalable Zero Knowledge via Cycles of Elliptic Curves // In proceedings of the 34th International Cryptology Conference (CRYPTO 2014) [ePrint] [doi]

E. Ben-Sasson, A. Chiesa, E. Tromer and M. Virza. Succinct Non-Interactive Arguments for a von Neumann Architecture // In proceedings of the 23rd USENIX Security Symposium (USENIX Security 2014) [ePrint] [conference version]

E. Ben-Sasson, A. Chiesa, C. Garman, M. Green, I. Miers, E. Tromer and M. Virza. Zerocash: Decentralized Anonymous Payments from Bitcoin // In proceedings of the IEEE Symposium on Security & Privacy (Oakland) 2014 [ePrint]

E. Ben-Sasson, A. Chiesa, D. Genkin, E. Tromer and M. Virza. SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge // In proceedings of the 33rd International Cryptology Conference (CRYPTO 2013) [ePrint] [doi] [talk @ YouTube/TheIACR]

A. Ambainis, D. Kravchenko, N. Nahimov, A. Rivosh and M. Virza. On symmetric nonlocal games // Theoretical Computer Science 494 (2013), pp. 36–48. [doi]

A. Ambainis, A. Bačkurs, K. Balodis, A. Škuškovniks, J. Smotrovs and M. Virza. Worst case analysis of non-local games // In proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013) [arXiv] [doi]

A. Ambainis, J. Iraids, D. Kravchenko and M. Virza. Advantage of Quantum Strategies in Random Symmetric XOR Games // In proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods (MEMICS 2012) [doi]

A. Ambainis, A. Bačkurs, K. Balodis, D. Kravchenko, R. Ozols, J. Smotrovs and M. Virza. Quantum strategies are better than classical in almost any XOR game // In proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP 2012); earlier version presented at QIP 2012 poster session [arXiv] [doi]

M. Virza. Sensitivity versus block sensitivity of Boolean functions // Information Processing Letters 111, 9 (2011), pp. 433–435. [arXiv] [doi]

•