Real-World Snapshots vs. Theory: Questioning the t-Probing Security Model
由于其良好的理论基础和实用效率，屏蔽已成为保护密码实现免受物理侧信道攻击（SCA）的最重要的对策。掩蔽的核心思想是在计算过程中将每个敏感中间变量随机分割为至少t+1个份额，其中t表示允许对手在不学习任何敏感信息的情况下观察到的最大份额数。换句话说，假设对手被所拥有的探测器数量（例如，微探针）或在进行高阶SCA攻击时通过统计分析的顺序（例如，差分功率分析）。这样的有界模型被用来证明相应实现的SCA安全性。因此，人们相信，只要有足够大的份额，绝大多数已知的SCA攻击都能得到缓解。在这项工作中，我们提出了一种新的激光辅助SCA技术，称为激光逻辑状态成像（LLSI），它提供了无限数量的非接触式探头，因此，违反了探测安全模型假设。这种技术使我们能够拍摄硬件实现的快照，即，在任意时钟周期，通过单次测量提取所有寄存器的逻辑状态。为了验证这一点，我们安装我们的攻击掩码AES硬件实现，并实际演示了在两种不同的情况下提取的全长密钥。首先，我们假设寄存器（键和/或状态）的位置是已知的，因此，它们的内容可以通过单个快照直接读取。其次，我们考虑一个实现与未知的寄存器位置，我们利用多个快照和SAT求解器来揭示秘密。
2020-09-09 cs.CR
Revisiting the Concrete Security of Goldreich's Pseudorandom Generator
局部伪随机数发生器是密码学中的一类基本的密码原语，在理论密码学中有着非常广泛的应用。根据Couteau et al.的工作，本文进一步研究了一类重要的局部伪随机生成器的具体安全性，即，Goldreich伪随机发生器我们的第一次攻击是猜测和确定类型。我们的结果显着改进了Couteau等人提出的最先进的算法，在渐近和具体的复杂性方面，并打破了他们提出的所有挑战参数。例如，对于建议的128位安全性的参数集，我们可以通过大约$2^{61}$的因子更快地求解实例，从而完全破坏所声称的安全性。我们的第二次攻击进一步利用了谓词$P_5$的极其稀疏的结构，并结合了迭代解码的思想。这种新的攻击，命名为猜测和解码，大大改善了猜测和确定的方法，密码相关的参数。Couteau等人提出的所有挑战参数集。ASIACRYPT 2018中的工作，以80位（128位）安全级别为目标，可以在大约$2^{58}$（$2^{78}$）的操作中解决。我们提出了新的参数，以实现80位（128位）的安全性相对于我们的攻击。我们还将攻击扩展到其他有前途的谓词，并调查他们的阻力。
2021-03-03 cs.CR cs.IT math.IT
Parallel Proof-of-Work with Concrete Bounds
在不能依赖于节点标识的分布式系统中，授权是具有挑战性的。工作量证明提供了另一种把关机制，但其概率性质与传统的安全定义不兼容。最近的相关工作为比特币的顺序工作量证明机制的失败概率建立了具体的界限。我们提出了一个家庭的状态复制协议，使用并行工作量证明。我们自下而上的设计，从协议子协议，使我们能够在对抗同步网络的故障概率给出具体的界限。在典型的10分钟间隔之后，并行工作量证明提供了比顺序工作量证明高两个数量级的安全性。这意味着状态更新可以足够安全以支持一个块之后的提交（即，10分钟后），消除了许多应用程序中的双重支出风险。我们为各种网络和攻击者假设的参数的最佳选择提供指导。仿真结果表明，所提出的结构是强大的，对违反设计假设。
2022-09-19 cs.CR
The Grain Family of Stream Ciphers: an Abstraction, Strengthening of Components and New Concrete Instantiations
Indian Statistical Institute（印度统计研究所）
本文针对Grain流密码族给出形式化抽象定义，强化核心组件设计，提出覆盖80至256比特多安全级别的7个具体实例，在各安全级别下均实现了更优的密码学性质或更低的门电路开销。
2025-11-17 cs.CR
garak: A Framework for Security Probing Large Language Models
NVIDIA Corporation（英伟达公司）；ITU Copenhagen（哥本哈根信息技术大学）；University of Washington（华盛顿大学）；vijil（维吉尔公司）
本文提出garak框架，通过结构化探测发现大语言模型中的潜在漏洞，推动从整体视角重新思考LLM安全评估。
2024-06-16 cs.CL cs.CR
A tight security reduction in the quantum random oracle model for code-based signature schemes
量子安全签名方案最近受到了很多关注，特别是因为NIST呼吁标准化量子安全密码。然而，由于量子随机预言模型（QROM）的技术困难，只有少数签名方案可以具有具体的量子安全性。在本文中，我们表明，基于代码的签名方案的基础上，全域哈希范式可以表现得很好，在QROM，即我们可以有严格的安全性降低。我们还研究了量子算法相关的基本代码为基础的假设。最后，我们应用我们的减少到一个具体的例子：SURF签名方案。我们提供了128位的量子安全的QROM中的参数，并表明所获得的参数是竞争力相比，其他类似的量子安全签名方案。
2017-09-20 cs.CR quant-ph
Runtime Skill Audit: Targeted Runtime Probing for Agent Skill Security
Johns Hopkins University（约翰霍普金斯大学）
提出运行时技能审计（RSA）动态分析方法，通过目标运行时条件探测技能行为，在100个技能上达到90.0%准确率，优于静态基线。
2026-06-11 cs.AI cs.CR
Practical Non-Invasive Probing Attacks Against Novel Carbon-Nanotube-Based Physical Unclonable Functions
本研究检验了针对基于碳纳米管的新型物理不可克隆函数（CNT-PUF）的实用非侵入式探测攻击，发现此类攻击可行但需探测所有相关通道，建议采取适当对策。
2023-07-03 cs.CR cs.ET
Which Neurons Detect Malicious Code? A Probing Study of LLM Security Knowledge
RMIT University（皇家墨尔本理工大学）；Hanoi University（河内大学）；SOICT, Hanoi University of Science and Technology（越南科学技术大学信息与通信技术学院）；Università degli studi dell’Aquila（阿奎拉大学）
研究探索大语言模型中检测恶意代码的神经元，应用机械可解释性方法定位相关神经元，通过对恶意和良性PyPI包实验发现放大促进神经元、抑制抑制神经元可提升准确率，有助于了解模型编码恶意概念方式，为可靠防御机制提供思路。
2026-07-14 cs.CR cs.SE
Benchmarking Attacks on Learning with Errors
该研究针对标准化LWE参数下的小/稀疏秘密，提供首个LWE秘密恢复攻击基准，扩展并实现四种攻击并对比实际性能与理论估计，开源代码以助力后量子密码安全性研究。
2024-10-10 cs.CR
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
MPC-in-the-Head（MitH）是一个通用的框架，它允许从安全多方计算（MPC）协议构造有效的一般NP关系的零知识协议。在本文中，我们给出了这种转换的第一个机器检查的实现。我们从MitH的EasyCrypt形式化开始，它保留了MitH的模块化结构，并且可以用满足标准安全概念的任意MPC协议来实例化，这使我们能够利用现有的基于机器检查的秘密共享的MPC协议开发。在EasyCrypt中证明了ZK协议的安全性和正确性。使用最近开发的代码提取机制EasyCrypt，我们合成了一个正式验证的协议的实现，我们基准测试，以获得与我们的形式化选择和代码提取机制相关的开销的指示。
2021-05-19 cs.CR
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
Cornell University（康奈尔大学）
考虑一阶条件逻辑，其语义由ε-语义的一个变体给出，其中p -> q表示Pr（q| p）超多项式地接近1--比任何逆多项式都快。这种类型的收敛是推理安全协议所必需的。一个完整的公理化提供了这种语义，它示出了如何定性证明的安全协议的正确性可以自动转换为定量证明适合推理有关具体的安全。
2008-04-14 cs.AI cs.CR cs.LO
Probing Latent Subspaces in LLM for AI Security: Identifying and Manipulating Adversarial States
本文通过提取LLM隐藏激活并利用降维与扰动向量，识别并操纵安全与越狱状态之间的潜在子空间转换，证明可在表示层面诱导越狱，为模型无关的主动防御提供新思路。
2025-07-04 cs.AI cs.CR cs.LG
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
我们提出了WPSE，浏览器端的Web协议的安全监视器，旨在确保符合预期的协议流，以及消息的机密性和完整性。我们正式证明，WPSE是足够的表达，以保护Web应用程序从广泛的协议实现错误和Web攻击。我们讨论了具体的攻击，可以防止WPSE OAuth 2.0和SAML 2.0，包括一个新的攻击谷歌实现的SAML 2.0，我们发现通过形式化的协议规范WPSE。此外，我们使用WPSE在野外对OAuth 2.0进行了广泛的实验评估。在90个测试网站中，我们发现了55个网站（61.1%）的安全漏洞，包括Facebook Pixel等跟踪库引入的新的关键漏洞，所有这些漏洞都可以通过WPSE修复。最后，我们发现WPSE在83个网站（92.2%）上可以正常工作，其中7个兼容性问题是由偏离OAuth 2.0规范的自定义实现引起的，其中一个引入了严重漏洞。
2018-06-24 cs.CR
Individual and Contextual Variables of Cyber Security Behaviour -- An empirical analysis of national culture, industry, organisation, and individual variables of (in)secure human behaviour
本研究基于37,075条记录分析影响网络安全行为的个体与情境变量，发现国家文化、行业和组织文化在情境层面，人口统计与安全特定因素在个体层面均显著影响安全行为，为组织定制安全培训与干预提供了实证依据。
2024-05-29 cs.CR
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
在本文中，我们提出了一种方法和工具，以建立符号标记的B规格转换系统。这个名为GeneSyst的工具可以考虑细化级别，并可以可视化抽象状态在具体层次状态中的分解。由此产生的符号转换系统代表了初始B事件系统的所有行为。因此，它可以用来推理它们。我们说明了使用GeneSyst检查电子钱包模型的安全属性。
2010-04-09 cs.CR cs.LO
Using Architecture to Reason about Information Security
我们证明，通过一些例子，信息流的安全属性可以证明从抽象的体系结构描述，只描述系统的因果结构和本地属性的可信组件。我们指定这些体系结构的描述系统概括不传递的不干扰政策承认的能力，过滤通信域之间传递的信息。这种系统架构的细化的概念，支持自上而下的开发架构规范和证明的抽象信息安全属性。我们还表明，在一个具体的设置中，因果结构是强制执行的访问控制，静态检查的访问控制设置加上本地验证的可信组件足以证明，广义的不传递不干扰政策是满意的。
2014-09-01 cs.CR cs.LO
A Survey of Web Application Security Tutorials
McGill University（麦吉尔大学）
本文调研132个免费安全教程，发现大多数教程来自供应商，侧重高层解释而非具体实现指导，缺乏可运行代码示例和权威资源链接。
2026-03-23 cs.CR cs.SE
The Foundational Cryptography Framework
我们提出了一个基础密码学框架（FCF），用于在一个证明助手中开发和检查密码方案的完整安全性证明。这是一个通用框架，能够对各种加密方案、安全定义和假设进行建模和推理。在计算模型中证明了安全性，并且证明提供了具体的界限以及渐近结论。FCF为概率程序提供了一种语言，一种用于推理程序的理论，以及一个在密码学证明中有用的策略和定义库。该框架的目的是充分利用现有的理论和能力的Coq证明助手，以减少所需的工作，以开发证明。
2014-10-14 cs.CR cs.PL
Comprehensive List of User Deception Techniques in Emails
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）
本文总结了42种电子邮件欺骗技术及64个实例，涵盖发件人、链接、附件安全指标及邮件渲染环境，为未来反制措施提供结构化参考。
2026-04-06 cs.CR cs.HC
