Madars Virza
Madars Virza
MIT Media Lab
Verified email at mit.edu - Homepage
TitleCited byYear
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
883*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
3642013
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
2622014
Scalable zero knowledge via cycles of elliptic curves
E Ben-Sasson, A Chiesa, E Tromer, M Virza
Algorithmica 79 (4), 1102-1160, 2017
1322017
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
922015
Computational integrity with a public random string from quasi-linear PCPs
E Ben-Sasson, I Bentov, A Chiesa, A Gabizon, D Genkin, M Hamilis, ...
Annual International Conference on the Theory and Applications of …, 2017
502017
Cluster computing in zero knowledge
A Chiesa, E Tromer, M Virza
Annual International Conference on the Theory and Applications of …, 2015
452015
Interventions over predictions: Reframing the ethical debate for actuarial risk assessment
C Barabas, K Dinakar, J Ito, M Virza, J Zittrain
arXiv preprint arXiv:1712.08238, 2017
422017
Aurora: Transparent succinct arguments for R1CS
E Ben-Sasson, A Chiesa, M Riabzev, N Spooner, M Virza, NP Ward
Annual international conference on the theory and applications of …, 2019
402019
zkledger: Privacy-preserving auditing for distributed ledgers
N Narula, W Vasquez, M Virza
15th {USENIX} Symposium on Networked Systems Design and Implementation …, 2018
332018
Quasi-linear size zero knowledge from linear-algebraic PCPs
E Ben-Sasson, A Chiesa, A Gabizon, M Virza
Theory of Cryptography Conference, 33-64, 2016
272016
Succinct Non-Interactive Arguments for a von Neumann Architecture
E Ben-Sasson, A Chiesa, E Tromer, M Virza
222013
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
202017
Sensitivity versus block sensitivity of Boolean functions
M Virza
Information Processing Letters 111 (9), 433-435, 2011
192011
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, ...
International Colloquium on Automata, Languages, and Programming, 25-37, 2012
92012
Software independence revisited
RL Rivest, M Virza
Real-World Electronic Voting, 19-34, 2016
62016
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
IACR Cryptology ePrint Archive 2019, 344, 2019
52019
TinyRAM architecture specification v2. 00, 2013
E Ben-Sasson, A Chiesa, D Genkin, E Tromer, M Virza
URL: http://scipr-lab. org/tinyram, 0
5
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, 0
5
On symmetric nonlocal games
A Ambainis, D Kravchenko, N Nahimov, A Rivosh, M Virza
Theoretical Computer Science 494, 36-48, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20