Charles Koll, Houssam Abbas, Mike Rosulek · 2026 · IEEE Embedded Systems Letters
DOI: 10.1109/les.2026.3728778 · cited by 0 works (OpenAlex) · open-access PDF
अर्धप्रवाहक और एयरोस्पेस जैसी उद्योगों में, डिजाइन कंपनी के लिए परीक्षण प्रक्रिया का एक हिस्सा TaaS (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 Signal Temporal Logic, and testing is done using robustness-guided falsification. Our implementation carefully separates the steps of falsification, and manages to be $\textit{maximally secure}$, in the sense that the parties learn the absolutely minimum necessary for falsification. For up to a 100-dimensional input search space, the generation of one test takes less than 80 msec, and the overhead of the privacy-preserving protocol is less than 6x. These numbers mean that privacy-preserving TaaS is practical, thus enabling TaaS in security-sensitive industries.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Correctness, Computer science, Overhead (engineering), Process (computing), Property (philosophy), Computation
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