Madars Virza

/ About me / Publications /

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]

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]

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]