Newest papers

Privacy-Preserving Robustness-Guided Testing

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

Russian

В таких отраслях, как полупроводники и аэрокосмическая промышленность, компания-дизайнер часто выставляет часть процесса тестирования компании Testing-as-a-Service (TaaS). В такой настройке обе стороны хотят сохранить свою интеллектуальную собственность частной (т.е. неизвестной другой стороне): а именно дизайн и его выходные следы для дизайнера, а также подробные спецификации точности для тестера. Мы демонстрируем практический способ проведения вероятно частной TaaS с использованием криптографически защищенного многостороннего вычислительного протокола. Мы делаем это для общей настройки, где спецификация находится в Сигнальной временной логике, и тестирование осуществляется с использованием надежности-направленной фальсификации. Наша реализация тщательно отделяет шаги

Machine translation (Meta M2M100); the English original follows.

Abstract

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

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange