区块链论文区块链技术论文 区块链论文 区块链白皮书 区块链经济模型 比特币白皮书 以太坊白皮书

匿名距离限制 DB 协议允许证明者说服验证者，他们允许在安全距离内不暴露他们的身份。这是一个有吸引力的属性，使证明者能够享受基于邻近性的服务，同时保持他们的隐私。然而，匿名与距离的结合却带来了新的安全挑战。本文考虑两种新的现实攻击：使用定向天线的物理层攻击和涉及多个用户的共谋攻击。显示所有现有的匿名数据库协议对这些攻击中的至少一个变得不安全，然后提出一个捕获...

考虑一个场景，服务器拥有一个庞大的数据库，它想让一大群客户访问它。在初始设置阶段之后，即使服务器与客户端的子集连结，客户应该能够在保持隐私的同时读取数据库中的任意位置和匿名位置。此外，在每次读取操作期间，服务器和客户端的运行时间应该是低的，理想情况下只有数据库大小和客户端数量是多对数的。本文将这个概念称为私人匿名数据访问 PANDA 。 PANDA...

最近关于随机抽取器的研究工作取得了巨大成功，结果令人兴奋的新技术，新连接以及在几个看似不同的主题中突破长期未解决的问题。这些包括种子非可塑性提取器，具有主动对手的隐私放大协议，独立源提取器以及分裂状态模型中的非可塑代码。以前，最好的结构在 [Li17] 中给出：具有种子长度和熵要求的种子不可延展的提取器 $ O（\ log n + \ log（1 / \ e...

后门密码算法在密码学文献中是一个不容置疑的禁忌，原因很多：无论这些意图是否高尚，后门可能落入错误的手中，在这种情况下，安全性完全受到损害。尽管如此，越来越多的立法压力正在产生，以强制使用这种后门。 本文介绍 {\ em可加密后门} 的概念，它只能使用一次，并在此后变得毫无用处。在没有有状态和安全的可信硬件支持的情况下，这些奇特的原始数据在经典数字世...

已经提出硅物理不可克隆功能 PUF 作为各种应用中的新兴硬件安全原语，例如设备识别，认证和密钥生成。尽管潜力巨大，但基于仲裁 APUF 的 PUF 设计容易受到经典机器学习攻击的困扰，该攻击使用挑战响应对。当采用足够多的APUF组件时，经典的机器学习可以在 $ x $ -XOR APUF 中得到缓解。但是，基于可靠性的机器学习攻击无法通过增加 $ x $ 来...

距离边界 DB 协议允许证明者说服验证者他们在距离范围内。 公钥的距离边界依赖于用户的公钥来证明他们的身份和邻近请求。文献中已经有许多方法来形式化公钥密钥距离协议的安全性。 本文扩展了一项早期的工作，它使用受识别协议安全性定义启发的方法来形式化公钥 DB 协议的安全性，并将其称为距离边界识别 DBID 。 首先证明，如果协议参与者可以使用定向天线，那么...

本文研究了超奇异椭圆曲线，它们的同源图和自同态环的几个相关的计算问题。证明了在 $ \ ell $ - isogeny 图中寻找路径的问题，计算极大阶同构于超奇异椭圆曲线的同胚环，并计算自同态环本身。还给出 Deuring 的对应关系的建设性版本，这个对应关系与某个四元数代数中的极大次数有关，同构类别的超奇异椭圆曲线。这种减少是基于有关元素规范分布的启发式方...

本文展示了 PRAM 可以被完美的安全模拟，仅在并行运行时产生 $ O（\ log N \ log \ log N）$ blowup，总工时产生 $ O（\ log ^ 3 N）$ blowup，以及 $ O （1）相对于原始 PRAM 而言，在空间上产生爆炸。结果在几个方面推进了对不明 RAM 的理论理解。首先，前人研究没有完全安全的 OPRAM 构造是已...

传统上认为密码方案的安全性是因为资源受限的对手无法违反期望的安全目标。安全性参数通常依赖于底层组件的合理设计。可以说，在考虑能够影响密码原语的设计，实现和标准化的情报机构时，可以观察到这种方法的最失败之处。虽然加密后门的最突出例子是NIST的 Dual_EC_DRBG，但不能天真地认为这种尝试已经结束。 诸如数字签名，伪随机生成和密码保护等许多加密...

本文首先回顾了 Kurosawa 和 Furukawa 介绍的通用双消息密钥交换 TMK 方案，称为 KF 协议。该协议主要基于密钥封装机制 KEM，该机制被假定为对选择的明文攻击 IND-CPA 是安全的。但是发现 KF 协议的安全性不能降低到 IND-CPA KEM。从 ElGamal KEM 实例化的具体 KF 协议甚至受到关键折衷模拟 KCI 攻击。...