Charles Koll, Houssam Abbas, Mike Rosulek · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27441 · open-access PDF
In Branchen wie Halbleiter und Luft- und Raumfahrt ist es üblich, dass das Designunternehmen einen Teil des Testprozesses an ein Testing-as-a-Service-Unternehmen (TaaS) beauftragt. In einer solchen Einrichtung wollen beide Parteien ihr geistiges Eigentum privat halten (d.h. der anderen Partei unbekannt): nämlich das Design und seine Ausgangsspuren für den Designer sowie die detaillierten Richtigkeitsspezifikationen für den Tester.
Machine translation (Meta M2M100); the English original follows.
In industries like semi-conductors and aerospace, it is common for the design company to contract out part of the testing process to a Testing-as-a-Service (TaaS) company. In such a setup, both parties want to keep their intellectual property private (i.e. unknown to the other party): namely the design and its output traces for the designer, and the detailed correctness specifications for the tester. We demonstrate a practical way for conducting provably private TaaS using a cryptographically secure multi-party computation protocol. We do so for the common setup where the specification is in S
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27441, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange