Jun, 2024

时间融合：具有高效可验证同态线性组合的时间锁谜题

PDF
TL;DR为了安全地将敏感信息传输到未来，我们引入了 Tempora-Fusion，这是一种允许服务器对来自不同客户的拼图进行同态线性组合并确保计算正确性验证的 TLP 方案。该方案避免了非对称密钥密码学的使用，从而为高效实现铺平了道路。我们讨论了该方案在联邦学习、在线银行中的定期支付和电子投票等各个领域的应用。
time-lock puzzleshomomorphic tlptempora-fusionverifying computation correctnessefficient implementations
发现论文，激发创造
  • 实用的、私密的协作价值确认

    在使用机器学习的背景下，提出了一种基于全同态加密方案和标签差分隐私的交互式协议，确保两个参与方在合作前能得到准确的预测改进，并通过实验证明，该方案相比完全使用全同态加密操作的协议，能够获得更快的计算结果。

    Oct, 2023

  • 可扩展的随时学习线性时态逻辑片段算法

    本论文提出了一种新的算法来解决线性时间逻辑（LTL）公式学习问题，可以构建比之前更大的公式，并且可实现任意时刻输出结果，性能较好。通过开源实现和公开基准测试来评估算法性能。

    Oct, 2021

  • 一遍式和树形表系统的 TPTL 和 TPTLb+Past

    该论文提出了一种新颖的一遍扫描和树状表方法，用于 Timed Propositional Temporal Logic 及其扩展的有界变种，该方法能够准确地确定它们的主题和研究领域，同时证明了其中一种的模型论完备性。

    Sep, 2018

  • 关于时间平衡逻辑的复杂性

    本文针对 Temporal Equilibrium Logic（TEL）提供了一种系统的复杂性分析方法，可以检查 TEL 公式的时间均衡模型的存在性，并通过分析不同的 TEL 公式子类的复杂性，确定了可处理和不可处理的片段。

    Feb, 2015

  • 有限轨迹上的时间答案集编程

    介绍了一种基于 Temporal Equilibrium Logic 的替代方法，用于有限 trace 的 Temporal Answer Set Programming，可实现多通 Answer Set Programming 系统，并结合时间运算符扩展输入语言，同时提供了时间建模语言。

    Apr, 2018

  • 度量时态逻辑中高效可监测公式的合成

    自动从系统执行中合成形式规范的学习算法，以实现有效可监控的 Metric Temporal Logic (MTL) 公式的综合。

    Oct, 2023

  • 带变量的时间逻辑程序

    本研究介绍了 “时间平衡逻辑”（TEL）的第一阶段版本，它与一阶线性时间逻辑（LTL）共享语法但具有不同的语义，选择了一些我们称之为 “时间稳定模型” 的 LTL 模型，并提出了计算可推导事实的方法。

    Sep, 2016

  • 有限轨迹上的过去 - 现在时态程序

    本文研究 Answer Set Programming 中的 past-present 句法子类，其扩展了完成和循环公式的定义，并通过 LTLf 表达式捕捉了一组 past-present 时间程序的时态稳定模型。

    Jul, 2023

  • 有限轨迹上的理论线性时序逻辑 (扩展版)

    本文提出了一种基于 Satisfiability Modulo Theories 的 Linear Temporal Logic 语言 ——LTLf Modulo Theories，该语言具有高表现力，可用于数据感知过程和规划的模型检验。我们提供了一种基于 SMT 编码的单遍树状表格系统的 LTLfMT 的半决策过程，并在黑色可满足检查工具中实现。实验结果表明了该算法在新型基准测试上的可行性。

    Apr, 2022

  • 模糊逻辑和线性规划实现自动同态加密参数选择

    本文提出了一种基于模糊逻辑和线性规划的专家系统来解决同态加密的方案参数化问题，它可以根据用户的偏好生成最优参数组合，同时保证密码系统的最低安全性水平，经扩展验证，我们展示了专家系统可以生成最优参数选择，以维护用户的偏好，同时不需要分析电路的固有复杂性。

    Feb, 2023