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

Vietnamese

Trong các ngành công nghiệp như bán dẫn và hàng không vũ trụ, công ty thiết kế thường thuê một phần quá trình thử nghiệm cho một công ty Testing-as-a-Service (TaaS). Trong một thiết lập như vậy, cả hai bên đều muốn giữ tài sản trí tuệ riêng tư (tức là không được biết đến với bên kia): cụ thể là thiết kế và dấu vết đầu ra của nó cho nhà thiết kế, và các thông số kỹ thuật chính xác chi tiết cho người kiểm tra. Chúng tôi chứng minh một cách thực tế để thực hiện TaaS có thể được tư nhân hóa bằng cách sử dụng giao thức tính toán đa bên được bảo mật bằng mã hóa. Chúng tôi làm như vậy cho thiết lập chung nơi thông số kỹ thuật là trong Signal Temporal Logic, và thử nghiệm được thực hiện bằng cách sử dụng sự giả mạo được hướng dẫn bởi độ bền. Việc thực hiện của chúng tôi cẩn thận

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