Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Flyclient: Super-Light Clients for Cryptocurrencies., , , and . IACR Cryptology ePrint Archive, (2019)Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains., , and . CRYPTO (1), volume 11692 of Lecture Notes in Computer Science, page 561-586. Springer, (2019)Designing Core-Selecting Payment Rules: A Computational Search Approach., , and . Inf. Syst. Res., 33 (4): 1157-1173 (December 2022)Learning a SAT Solver from Single-Bit Supervision., , , , , and . CoRR, (2018)Schwartz-Zippel for multilinear polynomials mod N., and . IACR Cryptol. ePrint Arch., (2022)Proof-Carrying Data without Succinct Arguments., , , , and . IACR Cryptol. ePrint Arch., (2020)VERI-ZEXE: Decentralized Private Computation with Universal Setup., , , , , , and . IACR Cryptol. ePrint Arch., (2022)Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments., and . TCC (3), volume 14371 of Lecture Notes in Computer Science, page 394-423. Springer, (2023)Proof-Carrying Data Without Succinct Arguments., , , , and . CRYPTO (1), volume 12825 of Lecture Notes in Computer Science, page 681-710. Springer, (2021)Graph Neural Networks and Boolean Satisfiability., and . CoRR, (2017)