Author of the publication

Efficient RAM and control flow in verifiable outsourced computation.

, , , , and . IACR Cryptology ePrint Archive, (2014)

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

Moduli Spaces of Phylogenetic Trees Describing Tumor Evolutionary Patterns., , , and . Brain Informatics and Health, volume 8609 of Lecture Notes in Computer Science, page 528-539. Springer, (2014)Efficient Representation of Numerical Optimization Problems for SNARKs., , , and . USENIX Security Symposium, page 4273-4290. USENIX Association, (2022)Persistent homology for metric measure spaces, and robust statistics for hypothesis testing and confidence intervals, , , and . CoRR, (2012)Multiparameter Persistence Image for Topological Machine Learning., and . NeurIPS, (2020)Clonal evolution of glioblastoma under therapy, , , , , , , , , and 10 other author(s). Nat Genet, 48 (7): 768--776 (July 2016)Universality of the Homotopy Interleaving Distance., and . CoRR, (2017)Privacy and accountability for location-based aggregate statistics., , , and . ACM Conference on Computer and Communications Security, page 653-666. ACM, (2011)Parallel computation on a DNA substrate.. DNA Based Computers, volume 48 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 265-279. DIMACS/AMS, (1997)A Randomized Algorithm for Deciding the Functional Equivalence of Neural Networks.. ICONIP (1), page 215-216. Springer, (1997)Quantitative Homotopy Theory in Topological Data Analysis., and . CoRR, (2013)