Charles Koll, Houssam Abbas, Mike Rosulek · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27441 · open-access PDF
في الصناعات مثل الملاحة الجوية والهواء الطلق، من المفترض أن يشتري الشركة المصنعة جزءًا من عملية الاختبار إلى شركة Testing-as-a-Service (TaaS). في مثل هذه الإعدادات، يريد كل من الطرفين الحفاظ على خصوصيتهم الفكرية خصوصية (أي لا يعرف الطرف الآخر): أي تصميم وتتراكمات النتائج لهذه الإعدادات بالنسبة للمصممين، والتوصيات التفصيلية للتصميم.
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