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

Indonesian

Dalam industri seperti semikonduktor dan aerospace, adalah umum bagi perusahaan desain untuk kontrak sebagian dari proses pengujian ke perusahaan Testing-as-a-Service (TaaS). Dalam pengaturan seperti itu, kedua pihak ingin menjaga kekayaan intelektual mereka pribadi (yaitu tidak diketahui kepada pihak lain): yaitu desain dan jejak outputnya untuk desainer, dan spesifikasi keakuratan terperinci untuk penguji. Kami menunjukkan cara praktis untuk melakukan TaaS pribadi yang terbukti menggunakan protokol komputasi multi-pihak yang aman secara kriptografis. Kami melakukannya untuk pengaturan umum di mana spesifikasi berada dalam Signal Temporal Logic, dan pengujian dilakukan dengan menggunakan penipuan yang dipandu oleh ketahanan. Implementasi kami hati-hati memisahkan langkah-langkah penipuan, dan berhasil menjadi $\it{maximal} aman, dalam arti bahwa pihak belajar protokol yang

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