Follow
Madars Virza
Madars Virza
MIT Media Lab
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Zerocash: Decentralized anonymous payments from Bitcoin
E Ben-Sasson, A Chiesa, C Garman, M Green, I Miers, E Tromer, M Virza
Security and Privacy (SP), 2014 IEEE Symposium on. IEEE, 2014
2633*2014
SNARKs for C: Verifying program executions succinctly and in zero knowledge
E Ben-Sasson, A Chiesa, D Genkin, E Tromer, M Virza
Annual cryptology conference, 90-108, 2013
8552013
Succinct {Non-Interactive} zero knowledge for a von neumann architecture
E Ben-Sasson, A Chiesa, E Tromer, M Virza
23rd USENIX Security Symposium (USENIX Security 14), 781-796, 2014
8542014
Aurora: Transparent succinct arguments for R1CS
E Ben-Sasson, A Chiesa, M Riabzev, N Spooner, M Virza, NP Ward
Advances in Cryptology–EUROCRYPT 2019: 38th Annual International Conference …, 2019
4492019
Scalable zero knowledge via cycles of elliptic curves
E Ben-Sasson, A Chiesa, E Tromer, M Virza
Algorithmica 79, 1102-1160, 2017
3602017
{zkLedger}:{Privacy-Preserving} auditing for distributed ledgers
N Narula, W Vasquez, M Virza
15th USENIX symposium on networked systems design and implementation (NSDI …, 2018
2272018
Secure sampling of public parameters for succinct zero knowledge proofs
E Ben-Sasson, A Chiesa, M Green, E Tromer, M Virza
2015 IEEE Symposium on Security and Privacy, 287-304, 2015
2252015
Interventions over predictions: Reframing the ethical debate for actuarial risk assessment
C Barabas, M Virza, K Dinakar, J Ito, J Zittrain
Conference on fairness, accountability and transparency, 62-76, 2018
2072018
Cluster computing in zero knowledge
A Chiesa, E Tromer, M Virza
Advances in Cryptology-EUROCRYPT 2015: 34th Annual International Conference …, 2015
982015
Computational integrity with a public random string from quasi-linear PCPs
E Ben-Sasson, I Bentov, A Chiesa, A Gabizon, D Genkin, M Hamilis, ...
Advances in Cryptology–EUROCRYPT 2017: 36th Annual International Conference …, 2017
972017
Quasi-linear size zero knowledge from linear-algebraic PCPs
E Ben-Sasson, A Chiesa, A Gabizon, M Virza
Theory of Cryptography: 13th International Conference, TCC 2016-A, Tel Aviv …, 2016
542016
Succinct Non-Interactive Arguments for a von Neumann Architecture
E Ben-Sasson, A Chiesa, E Tromer, M Virza
492013
Cryptanalysis of curl-p and other attacks on the iota cryptocurrency
E Heilman, N Narula, G Tanzer, J Lovejoy, M Colavita, M Virza, T Dryja
Cryptology ePrint Archive, 2019
462019
Iota vulnerability report: Cryptanalysis of the curl hash function enabling practical signature forgery attacks on the iota cryptocurrency
E Heilman, N Narula, T Dryja, M Virza
URL: https://github. com/mit-dci/tangled-curl/blob/master/vuln-iota. md, 2017
362017
A high performance payment processing system designed for central bank digital currencies
J Lovejoy, C Fields, M Virza, T Frederick, D Urness, K Karwaski, ...
Cryptology ePrint Archive, 2022
332022
Sensitivity versus block sensitivity of Boolean functions
M Virza
Information Processing Letters 111 (9), 433-435, 2011
252011
Software independence revisited
RL Rivest, M Virza
Real-World Electronic Voting, 19-34, 2016
172016
Quantum strategies are better than classical in almost any XOR game
A Ambainis, A Bačkurs, K Balodis, D Kravčenko, R Ozols, J Smotrovs, ...
Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012
122012
Hamilton: A {High-Performance} Transaction Processor for Central Bank Digital Currencies
J Lovejoy, M Virza, C Fields, K Karwaski, A Brownworth, N Narula
20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023
102023
Zerocash: Practical decentralized anonymous e-cash from bitcoin
E Ben-Sasson, A Chiesa, C Garman, M Green, I Miers, E Tromer, M Virza, ...
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 459-474, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20