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
787*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
3362013
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
2362014
Scalable zero knowledge via cycles of elliptic curves
E Ben-Sasson, A Chiesa, E Tromer, M Virza
Algorithmica 79 (4), 1102-1160, 2017
1232017
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
832015
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
472017
Cluster computing in zero knowledge
A Chiesa, E Tromer, M Virza
Annual International Conference on the Theory and Applications of …, 2015
442015
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
332017
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
282019
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
252016
zkLedger: Privacy-preserving auditing for distributed ledgers
N Narula, W Vasquez, M Virza
15th {USENIX} Symposium on Networked Systems Design and Implementation …, 2018
242018
Succinct Non-Interactive Arguments for a von Neumann Architecture
E Ben-Sasson, A Chiesa, E Tromer, M Virza
212013
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
Technical report, MIT Media Lab, 2017
192017
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
52016
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
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
42019
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. IEEE 5, 459-474, 2014
32014
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