arXiv 隐私论文· Charles Koll·· 1 天前AI 评分40
基于安全多方计算的 Signal Temporal Logic 鲁棒性隐私保护监控
Privacy-Preserving Robust Monitoring of Dense-Time Temporal Logic
AI 导读
针对第三方测试中设计方与测试方需各自保密的需求，该论文用算术电路实现了 Signal Temporal Logic（STL）鲁棒性语义的安全多方计算，使提供秘密轨迹的一方与提供秘密公式的一方能在不泄露各自输入的情况下联合计算鲁棒性。作者还提出若干算法改造与新的半线性鲁棒语义以提升多方计算效率。实验显示该隐私保护监控本身高效，且用于测试循环时不影响鲁棒性引导系统测试发现 bug 的速度。
来源：arXiv 隐私论文 · arxiv.org