Always private
DuckDuckGo never tracks your searches.
Learn More
You can hide this reminder in Search Settings
All regions
Argentina
Australia
Austria
Belgium (fr)
Belgium (nl)
Brazil
Bulgaria
Canada (en)
Canada (fr)
Catalonia
Chile
China
Colombia
Croatia
Czech Republic
Denmark
Estonia
Finland
France
Germany
Greece
Hong Kong
Hungary
Iceland
India (en)
Indonesia (en)
Ireland
Israel (en)
Italy
Japan
Korea
Latvia
Lithuania
Malaysia (en)
Mexico
Netherlands
New Zealand
Norway
Pakistan (en)
Peru
Philippines (en)
Poland
Portugal
Romania
Russia
Saudi Arabia
Singapore
Slovakia
Slovenia
South Africa
Spain (ca)
Spain (es)
Sweden
Switzerland (de)
Switzerland (fr)
Taiwan
Thailand (en)
Turkey
Ukraine
United Kingdom
US (English)
US (Spanish)
Vietnam (en)
Safe search: moderate
Strict
Moderate
Off
Any time
Any time
Past day
Past week
Past month
Past year
  1. eprint.iacr.org

    new framework for the modular design of sumcheck-based proof systems, and we use it to develop new efficient protocols for verifiable machine learning and image processing. More specifically, our contributions are the following: A modular framework for sumcheck-based proofs. We develop our framework by identifying and abstracting away the
  2. Was this helpful?
  3. eprint.iacr.org

    Sep 8, 2023Cryptographic proof systems provide integrity, fairness, and privacy in applications that outsource data processing tasks. However, general-purpose proof systems do not scale well to large inputs. At the same time, ad-hoc solutions for concrete applications - e.g., machine learning or image processing - are more efficient but lack modularity, hence they are hard to extend or to compose with ...
  4. Nov 21, 2023Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing. Authors: David Balbás, Dario Fiore, ... At the same time, ad-hoc solutions for concrete applications - e.g., machine learning or image processing - are more efficient but lack modularity, hence they are hard to extend or to compose with other tools of a data ...
  5. davidbalbas.github.io

    Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing D. Balb´as 1,2, D. Fiore , M. Gonz´alez-Vasco3, D. Robissout , C. Soriente4 28th November 2023 1IMDEA Software Institute, Madrid, Spain 2Universidad Polit´ecnica de Madrid, Spain 3Universidad Carlos III de Madrid, Spain 4NEC Laboratories Europe, Madrid, Spain ACM CCS 2023, Copenhagen, Denmark
  6. semanticscholar.org

    Nov 15, 2023This paper introduces a modular framework for verifiable computation of sequential operations, and proposes a novel VE for convolution operations that can handle multiple input-output channels and batching, and shows how to compose VEs for specific functions to obtain verifiability of a data-processing pipeline. Cryptographic proof systems provide integrity, fairness, and privacy in ...
  7. researchgate.net

    Nov 21, 2023Request PDF | On Nov 21, 2023, David Balbás and others published Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing | Find, read and cite all the research you need ...
  8. The International Association for Cryptologic Research

    https://iacr.org › news › item › 21488

    Sep 8, 2023Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing David Balbás, Dario Fiore, Maria Isabel González Vasco, Damien Robissout, Claudio Soriente ... machine learning or image processing - are more efficient but lack modularity, hence they are hard to extend or to compose with other tools of a data-processing pipeline.
  9. researchportal.uc3m.es

    Modular Sumcheck Proofs With Applications to Machine Learning and Image Processing Conference Contributions. Overview; Classification; Overview authors . BALBÁS, DAVID FIORE, DARIO GONZALEZ VASCO, MARIA ISABEL; ROBISSOUT, DAMIEN SORIENTE, CLAUDIO event ...
  10. software.imdea.org

    Apr 29, 2024The research, detailed in the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing" and presented at the last ACM (Association for Computing Machinery) conference on computer and communications security, addresses the scalability and modularity challenges faced by both general proof systems and solutions ...

    Can’t find what you’re looking for?

    Help us improve DuckDuckGo searches with your feedback

Custom date rangeX