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
1015*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
4022013
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
3042014
Scalable zero knowledge via cycles of elliptic curves
E Ben-Sasson, A Chiesa, E Tromer, M Virza
Algorithmica 79 (4), 1102-1160, 2017
1572017
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
1072015
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
652019
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
532017
Cluster computing in zero knowledge
A Chiesa, E Tromer, M Virza
Annual International Conference on the Theory and Applications of …, 2015
522015
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
492018
zkledger: Privacy-preserving auditing for distributed ledgers
N Narula, W Vasquez, M Virza
15th {USENIX} Symposium on Networked Systems Design and Implementation …, 2018
412018
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
282016
Succinct Non-Interactive Arguments for a von Neumann Architecture
E Ben-Sasson, A Chiesa, E Tromer, M Virza
272013
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
232017
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
112012
Software independence revisited
R Rivest, M Virza
Real-World Electronic Voting: Design, Analysis and Deployment», CRC Press …, 2016
82016
TinyRAM architecture specification v2. 00, 2013
E Ben-Sasson, A Chiesa, D Genkin, E Tromer, M Virza
URL: http://scipr-lab. org/tinyram, 0
6
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 Cryptol. ePrint Arch. 2019, 344, 2019
52019
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
42013
The system can't perform the operation now. Try again later.
Articles 1–20