Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac 0001. A Subversion-Resistant SNARK. In Tsuyoshi Takagi, Thomas Peyrin, editors, Advances in Cryptology - ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III. Volume 10626 of Lecture Notes in Computer Science, pages 3-33, Springer, 2017. [doi]
Abstract is missing.