STL鲁棒性监控的安全多方计算实现
热点事件观察中
STL鲁棒性监控的安全多方计算实现
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
Charles Koll 等人提出一种基于算术电路的 Signal Temporal Logic（STL）鲁棒性安全多方计算实现，使持有秘密轨迹的一方与持有秘密公式的一方能在不泄露各自输入的情况下联合计算鲁棒性，面向第三方测试中设计方与测试方各自保密的需求。 作者称，他们还提出若干算法改造和新的半线性鲁棒语义以提升多方计算效率。实验显示该隐私保护监控本身高效，用于测试循环时不影响鲁棒性引导系统测试发现 bug 的速度。
AI 根据报道生成 · 58 分钟前更新
最新进展10月19日 09:32
基于安全多方计算的 Signal Temporal Logic 鲁棒性隐私保护监控报道时间线
沿着报道，了解事件的不同侧面。
10月19日
- arXiv 隐私论文基于安全多方计算的 Signal Temporal Logic 鲁棒性隐私保护监控
针对第三方测试中设计方与测试方需各自保密的需求，该论文用算术电路实现了 Signal Temporal Logic（STL）鲁棒性语义的安全多方计算，使提供秘密轨迹的一方与提供秘密公式的一方能在不泄露各自输入的情况下联合计算鲁棒性。作者还提出若干算法改造与新的半线性鲁棒语义以提升多方计算效率。实验显示该隐私保护监控本身高效，且用于测试循环时不影响鲁棒性引导系统测试发现 bug 的速度。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。