Post-Incident Audits on Cyber Insurance Discounts
我们引入了一个博弈论模型来研究网络保险投保人之间的战略互动，其保费取决于她的自我报告的安全级别和保险公司的权力，审计的安全级别后收到的赔偿要求。审计可以发现欺诈（或只是粗心）投保人不遵守报告的安全程序，在这种情况下，保险公司可以拒绝赔偿投保人。然而，即使投保人已遵守规定的安全程序，保险公司也必须承担审计费用。由于审计可能是昂贵的，保险公司面临的一个关键问题是设计一个审计策略，以阻止投保人歪曲他们的安全级别，以获得保费折扣。这个决策问题的动机是对承销商进行采访和审查美国的监管文件;我们发现保费是由投保人的保安情况决定，但这往往是投保人自行申报的，保险公司关注的是投保人是否按照投保人申报的那样执行保安程序。为了解决这个问题，我们将这种相互作用建模为不完全信息的贝叶斯博弈，并考虑投保人可能歪曲她的安全级别的可能性，为保险公司设计最优审计策略。据我们所知，这项工作是网络安全中事后索赔管理的第一个理论考虑。我们的模型捕获的激励之间的权衡，夸大安全态势在应用程序的过程中，不遵守报告的安全政策的惩罚的可能性。模拟表明，常识技术在提供有效的网络保险审计决策方面不如使用博弈论计算的那样有效。
2019-08-13 cs.CR
SynAT: Enhancing Security Knowledge Bases via Automatic Synthesizing Attack Tree from Crowd Discussions
State Key Laboratory of Intelligent Game（智能游戏国家重点实验室）；Science and Technology on Integrated Information System Laboratory, Institute of Software Chinese Academy of Sciences（中国科学院软件研究所集成信息系统重点实验室）；University of Chinese Academy of Sciences（中国科学院大学）；School of Software, Beihang University（北京航空航天大学软件学院）；School of Information Technology and Electrical Engineering, The University of Queensland（昆士兰大学信息技术与电气工程学院）；Huawei Cloud Computing Technologies CO., LTD.（华为云计算技术有限公司）
SynAT通过自动合成攻击树提升安全知识库，利用LLM和提示学习提取安全讨论中的事件和关系，有效增强安全防护能力。
2026-02-05 cs.CR
Quantum Disruption: An SOK of How Post-Quantum Attackers Reshape Blockchain Security and Performance
Northeastern University（东北大学）；Ripple Inc（Ripple公司）
本文研究了后量子密码学在区块链系统中的影响，指出其集成需要架构重新设计而非简单替换，以保障安全性和效率。
2026-08-14 cs.CR
The Power of Bamboo: On the Post-Compromise Security for Searchable Symmetric Encryption
本文针对DSSE密钥泄露风险，提出带密钥更新的可搜索加密（SEKU）概念与妥协后安全定义，并设计Bamboo协议实现同时满足前后向安全的妥协后安全性，性能优于或相当。
2024-03-22 cs.CR
A Quantal Response Analysis of Defender-Attacker Sequential Security Games
本文研究双站点防御者-攻击者序贯安全博弈中防御者有限理性对安全投资的影响，通过量子响应均衡分析行为偏差，并量化其相对于无偏差最优解的低效性。
2024-08-02 cs.CR cs.GT cs.SY
Envisioning the Future of Cyber Security in Post-Quantum Era: A Survey on PQ Standardization, Applications, Challenges and Opportunities
本文全面研究了后量子密码方案的构造、漏洞与标准化进程，评估了其现实应用指标，并提出了向后量子时代过渡的愿景与未来方向。
2023-10-18 cs.CR
On the post-quantum security of encrypted key exchange protocols
基于离子阱量子计算机的一些基本物理参数，研究了加密密钥交换（EKE）协议的后量子安全性，证明了在多台离子阱量子计算机的情况下，使用40位口令的EKE协议是安全的.提出了一种抵抗中间人攻击的口令加密无密钥协议，并证明了该协议也具有后量子安全性。本文的分析对各种混合密码体制的安全性评估具有普遍意义。
2013-06-21 cs.CR quant-ph
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
University of Zagreb（萨格勒布大学）
本文通过Tamarin证明器对SAML V2.0 SP发起的SSO与POST/Artifact绑定用例进行了全面的形式安全分析，验证了多个关键安全属性并识别了潜在漏洞。
2026-01-20 cs.CR
A voting scheme with post-quantum security based on physical laws
随着量子信息和量子计算的发展，传统密码学受到了巨大的威胁。本文提出了一种新的基于物理定律的后量子投票方案，利用加密的无密钥协议在信道中传输消息，保证了后量子安全。与基于格和基于多变量的电子投票方案不同，基于物理定律的电子投票方案的安全性依赖于量子计算机的固有局限性，不受新量子算法发展的影响。详细地，我们还严格证明了该方案实现了后量子安全性和投票方案所需的所有属性，如完整性，鲁棒性，隐私性，资格，不可重用性，公平性和可验证性。
2018-04-18 cs.CR quant-ph
Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems
Bahçeşehir University（巴切塞尔大学）；University of Turkish Aeronautical Association（土耳其航空协会大学）
本文提出了一种统一的数学框架，用于后量子认证遥测和作动器在FADEC耦合双转子涡轮风扇网络物理系统中的安全通信，结合了基于格的密钥建立、PUF认证熵、认证加密、雷达测高完整性、航空电子总线定时和卡尔曼残差监控。
2026-05-01 cs.CR
Quantum-Resilient Decentralized AI Economies: Proof-of-Useful-Work and Post-Quantum Security
University of Alabama（阿拉巴马大学）
提出一种三层架构的去中心化AI经济，用机器学习推理和训练替代哈希计算作为工作量证明，并分析其量子安全性。
2026-06-25 cs.CR
Efficient Full-Stack Private Federated Deep Learning with Post-Quantum Security
本文提出后量子安全联邦学习框架Beskar，融合安全聚合与差分隐私，优化计算开销并系统分析安全、性能与精度的权衡。
2025-05-09 cs.CR
From Personal Data to Digital Legacy: Exploring Conflicts in the Sharing, Security and Privacy of Post-mortem Data
随着数字技术变得越来越普遍，人们越来越意识到良好的安全和隐私实践的重要性。用于实现这一目标的工具和技术通常是在考虑活着的用户的情况下设计的，很少考虑在用户死后它们应该或将如何执行。我们报告了与密码管理器用户进行的两个研讨会，以探讨他们对一系列常见数字资产的事后共享，安全和隐私的看法。我们讨论了一个事后隐私悖论，用户认识到规划他们的数字遗产的价值，但避免积极这样做。重要的是，我们的研究结果强调了在生活中使用推荐的安全工具与促进适当的事后访问选定资产之间的紧张关系。我们提供设计建议，以促进和鼓励数字遗产规划，同时促进生活中良好的安全习惯。
2021-04-15 cs.CR cs.HC
Physical Security in the Post-quantum Era: A Survey on Side-channel Analysis, Random Number Generators, and Physically Unclonable Functions
在过去的几十年里，量子技术取得了持续的进步，量子计算机领域的最新发展引人注目。传统上，这种趋势主要被视为密码学的严重风险;然而，量子技术的积极方面也应该得到强调。在这方面，将该技术视为诚实方而不是对手的资源，它不仅可以增强安全性，还可以增强特定加密方案的性能。虽然相当大的努力已经投入到量子抵抗和量子增强方案的设计，很少有人努力了解他们的物理安全性。物理安全涉及安全措施的设计和实现，以满足密码原语的实际要求，这对经典和量子密码同样重要。本调查旨在引起人们对物理安全重要性的更多关注，重点关注安全密钥生成和存储以及安全执行。更具体地说，在量子世界中进行侧信道分析的可能性进行了讨论，并与经典世界中发起的攻击进行了比较。此外，量子随机数产生和量子物理不可克隆函数的建议进行了比较，并进一步分析，以更好地了解他们的特点，优点和缺点。最后，从这三个角度出发，对该方向的未来研究进行了展望。
2021-02-08 cs.CR
PQBFL: A Post-Quantum Blockchain-based Protocol for Federated Learning
针对联邦学习中的模型、隐私及量子安全威胁，本文提出PQBFL协议，融合后量子密码、区块链、混合通信与棘轮机制，保障全轮次安全、身份隐私和声誉认证。
2025-02-20 cs.CR
Post-Quantum Cryptography and Quantum-Safe Security: A Comprehensive Survey
Texas State University（德克萨斯州立大学）
本文综述后量子密码学的发展，涵盖各类密码家族的分类、性能比较、硬件加速及部署应用，强调量子安全系统的实际应用与挑战。
2026-06-05 cs.CR
The Post-Quantum Cryptography Transition: Making Progress, But Still a Long Road Ahead
本文指出量子计算威胁现有密码安全，虽然后量子密码标准制定已有进展，但美国非国家安全系统迁移需71亿美元且面临2035年期限，成功升级仍需持续资金、研究与国际协调。
2025-03-03 cs.CR
Post-Quantum Era in V2X Security: Convergence of Orchestration and Parallel Computation
随着量子计算的潜在出现，自动驾驶等新的复杂通信服务的安全性需要在后量子时代重新定义。为了确保这些场景的可靠、连续和安全运行，必须将实现安全连接的量子抗安全算法（QRSA）集成到移动网络的网络管理和编排系统中。本文探讨了后量子时代融合与蜂窝连接的路线图研究，该路线图研究使用服务和计算增强器（SCO）框架，以增强无线电接入和回程传输中的数据安全性，特别关注车联网（V2X）服务。使用NTRU作为QSRA，我们已经表明，Toom-Cook和Karatsuba计算方法的并行化性能可以根据不同的CPU负载条件通过大量的模拟而变化，并且SCO框架可以促进为给定的QRSA选择最有效的计算。最后，我们讨论了评估结果，确定了当前的标准化工作，以及通过利用并行计算的SCO框架实现后量子和移动网络连接共存的可能方向。
2021-12-13 cs.CR cs.NI
A Note on Quantum Security for Post-Quantum Cryptography
Shor的量子因子分解算法和其他一些有效的量子算法破解了许多经典密码体制。作为回应，人们提出了基于计算问题的后量子密码学，即使是量子计算机也很难相信。然而，这些方案对\emph{quantum}攻击的安全性是难以捉摸的。这是因为现有的安全分析（几乎）只涉及经典攻击者，并且由于独特的量子特性（如不可克隆），在量子对手存在的情况下论证安全性具有挑战性。这项工作提出了一个通用的框架，研究经典的安全证明可以恢复在量子设置。基本上，我们把一个安全证明分解成（一系列）经典的安全约简，并研究什么样的安全约简是“量子友好的”。我们刻画了充分条件，使经典的减少可以“解除”的量子设置。然后，我们将我们的提升定理后量子签名方案。我们能够表明，经典的通用构造的哈希树为基础的签名从单向函数和更有效的变种提出的~ \cite{BDH11}结转到量子设置。也就是说，假设存在的（经典）单向函数是有效的量子反演算法抵抗，存在一个量子安全的签名方案。我们注意到，该计划在~ \cite{BDH11}是一个很有前途的（后量子）候选人在实践中实现，我们的结果进一步证明了它。最后，我们证明了我们的框架的通用性，通过显示，一些现有的作品（全域散列在量子随机预言模型~ \cite{Zha12ibe}和简单的混合参数框架在~ \cite{HSS11}）可以在我们的统一框架下重新制定。
2014-09-08 cs.CR quant-ph
Securing the Future Internet of Things with Post-Quantum Cryptography
传统和轻量级的密码原语和协议对于量子攻击是不安全的。因此，使用传统或轻量级加密原语和协议的实时应用程序不能确保完全证明的安全性。后量子密码学对于物联网（IoT）非常重要，因为它可以抵御量子攻击。本文提供了物联网网络后量子密码学的广泛文献分析，包括在实时应用中采用的挑战和研究方向。这项工作的重点是对资源受限设备有用的后量子密码系统。此外，这些量子攻击进行调查，这可能会发生在传统的和轻量级的密码原语。
2022-06-21 cs.CR
Authentication of quantum key distribution with post-quantum cryptography and replay attacks
随着量子计算机的发展，传统密码系统面临着越来越严重的安全威胁。幸运的是，量子密钥分发（QKD）和后量子密码（PQC）是两种具有抗量子安全性的密码机制，都将成为未来信息安全的重要解决方案。但是，两者都不是完美的，它们是互补的。量子密钥分发具有后量子密码所不具备的无条件安全性，PQC可以为QKD网络提供安全方便的认证。本文提出了两种基于PQC的协议来实现QKD数据后处理的完全认证，并且只需要假设PQC算法的短期安全性就可以保证分布式密钥的长期抗量子安全性。我们发现，对于上述两个认证协议，攻击者不能成功地实施重放攻击。这些认证协议可以解决当前预共享密钥认证在大规模量子密钥分发网络应用中存在的问题，有望实现具有实际可操作性和抗量子安全性的密钥分发机制，有利于推动量子密钥分发网络的部署和应用。
2022-06-02 cs.CR quant-ph
Composable Security in the Bounded-Quantum-Storage Model
我们提出了一个简化的框架，证明顺序的可组合性在量子设置。特别是，我们给出了一个新的，基于模拟的，在有界量子存储模型的安全性的定义，并表明，这个定义允许顺序组成的协议。Damgard等人（FOCS '05，WPTO'07）展示了如何在有界量子存储模型中安全地实现比特承诺和不经意传输，其中对手只允许存储有限数量的量子比特。然而，他们的安全定义仅适用于独立设置，并且不清楚他们的协议是否可以组合。事实上，我们首先给出了一个简单的攻击，表明这些协议是不可组合的，没有一个小的改进模型。最后，我们证明了他们的随机不经意传输协议在我们的改进模型的安全性。不经意传输和比特提交的安全实现，然后很容易遵循一个（经典的）减少随机不经意传输。
2007-09-04 cs.CR quant-ph
Towards security recommendations for public-key infrastructures for production environments in the post-quantum era
量子计算技术对当前采用的公钥密码协议构成了重大威胁。在本文中，我们讨论了量子威胁对公钥基础设施（PKI）的影响，PKI是用于保护生产环境的安全系统的一部分。我们分析了现有模型的安全问题，重点是快速过渡到后量子解决方案的要求。虽然我们主要关注的是量子计算的攻击，我们也讨论了一些安全问题，这些问题与所使用的加密算法没有直接关系，但对PKI的整体安全性至关重要。我们试图从量子计算机攻击的角度提供一套关于PKI的安全建议。
2021-06-23 cs.CR cs.CY quant-ph
Poster: Rethinking Security in LLM Code Generation through Real-World Risk Scenarios
Zhejiang University（浙江大学）；University College London（伦敦大学学院）；MetaX Integrated Circuit Co., Ltd.（元芯集成电路有限公司）；Artificial Intelligence Institute, CAICT（中国信息通信研究院人工智能研究所）
研究LLM代码生成的安全行为，识别出三种风险场景，构建含2700个测试用例的基准评估安全性，发现先进LLMs平均漏洞率超56%，证明安全感知提示可大幅降低风险。
2026-07-28 cs.AI cs.CR
Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions
NUST Business School, NUST（NUST商学院，NUST）；Kiara Inc.（Kiara公司）
本文提出一个分层解释框架，通过结构化分层方法解释后量子密码学的安全假设，不替代形式化密码证明，探讨了基于复杂度的解释模型、数学探索和实验证坛。
2026-04-04 cs.CR math.AG
Detecting Compromised IoT Devices Using Autoencoders with Sequential Hypothesis Testing
Florida State University（佛罗里达州立大学）；University of Hawaii（夏威夷大学）
本文提出CUMAD框架，通过集成自编码器异常检测与SPRT序贯假设检验来积累证据，有效降低受损IoT设备检测的误报率并实现快速检测。
2024-04-21 cs.CR cs.LG
Preparing for the Post Quantum Era: Quantum Ready Architecture for Security and Risk Management (QUASAR) -- A Strategic Framework for Cybersecurity
针对量子计算对传统密码系统的威胁，本文提出QUASAR框架，通过结构化过渡、分阶段实施和量化评估，帮助组织实现抗量子安全转型并保护敏感数据。
2025-05-07 cs.CR quant-ph
X.509 Information Security Certification Based on Post-Quantum Cryptography
针对量子计算对 PKI 的威胁，本文比较 RSA、ECDSA 与 Falcon、Dilithium、SPHINCS+ 在 X.509 证书及签名生成、验证中的效率，并提出 PQC 迁移方案建议。
2024-08-05 cs.CR cs.SE
Security Parameter Analysis of the LINEture Post-Quantum Digital Signature Scheme
Kharkiv National University of Radio electronics（哈尔科夫国立无线电电子大学）；Yevhenii Bereznyak Military Academy（叶夫根尼·别列兹尼亚克军事学院）
LINEture后量子数字签名方案的安全参数分析，探讨了参数m、l、q对密码强度的影响，并提出了优化选择规则以提高加密效率。
2026-01-06 cs.CR math.GR
SequentialBreak: Large Language Models Can be Fooled by Embedding Jailbreak Prompts into Sequential Prompt Chains
Bangladesh University of Engineering and Technology（孟加拉工程科技大学）；Pennsylvania State University（宾夕法尼亚州立大学）
本文提出了一种名为SequentialBreak的新型越狱攻击方法，通过将恶意提示嵌入题库、对话补全等场景的顺序提示链中，利用上下文操纵欺骗LLMs生成有害响应，仅需单次查询即在开源和闭源模型上显著提升了攻击成功率。
2025-05-28 cs.AI cs.CL cs.CR
Sequential Data Poisoning in LLM Post-Training
University of Chicago（芝加哥大学）；University of Waterloo（滑铁卢大学）；University of Ottawa（渥太华大学）；Vector Institute（向量研究所）
提出顺序数据投毒威胁模型，研究多个攻击者在LLM后训练不同阶段（SFT和偏好数据）分别投毒，发现单一攻击者看似威胁小但多阶段协作会暴露真实漏洞，且不同管道中贡献呈加性或互补性。
2026-06-03 cs.CR cs.LG
Combined Quantum and Post-Quantum Security Performance Under Finite Keys
University of New South Wales（新南威尔士大学）
本研究提出了一种结合量子与后量子安全性的混合系统，通过整合紧致的有限密钥安全性提升QKD安全性，并改进原始构件设计以实现线性可扩展性。
2025-12-04 cs.CR quant-ph
Hybrid Quantum Security for IPsec
本文提出两种将QKD集成至IPsec IKEv2的混合密钥建立策略，通过并行QKD-PQC方法消除了顺序方法的乘法延迟惩罚，显著提升了网络延迟下的性能，为关键基础设施提供了实用的量子增强安全方案。
2025-07-12 cs.CR cs.NI
Enhanced Rényi Entropy-Based Post-Quantum Key Agreement with Provable Security and Information-Theoretic Guarantees
School of Electrical and Computer Engineering, Nanfang College（南方学院电气与计算机工程学院）
本文提出了一种基于瑞尼熵的后量子密钥协议，通过熵保持操作和秘密共享验证实现可证明安全性和信息论保证，提供 $2^{128}$ 的量子安全保证。
2026-03-08 cs.CR cs.IT math.IT
Towards Reliable Local Security Agents: Verifiable Post-Training for Linux Privilege Escalation
本文提出一种两阶段训练流程，通过监督微调和强化学习提升Linux提权任务的性能，实现高成功率和低推理成本。
2026-07-07 cs.AI cs.CR
Quantum Token Obfuscation via Superposition: A Post-Quantum Security Framework Using Multi-Basis Verification and Entropy-Driven Evolution
针对量子计算对传统令牌混淆的威胁，本文提出一种利用量子叠加、多基验证与熵驱动演化的后量子安全框架，实验证实其在防止未授权重构方面具有极高安全性与零攻击成功率。
2025-06-26 cs.CR quant-ph
On the Security of Offloading Post-Processing for Quantum Key Distribution
量子密钥分发（QKD）已经研究了近四十年，目前正在走向商业应用。然而，由于QKD的特殊性质及其物理限制，大规模部署该技术具有挑战性。除此之外，QKD在后处理阶段是计算密集型的，因此设备复杂且耗电，这在某些应用场景中会导致问题。在这项工作中，我们研究了以安全的方式将QKD后处理堆栈中的计算密集型部分卸载到不可信硬件的可能性。我们展示了如何将离散变量QKD的纠错安全地卸载到单个不可信服务器，并且相同的方法不能用于长距离连续变量QKD。此外，我们分析了多服务器协议用于纠错和隐私放大的可能性。即使在无法卸载到外部服务器的情况下，能够将计算委托给设备上不受信任的硬件组件也可以为设备制造商提高成本和认证工作。
2022-10-17 cs.CR quant-ph
Do Modern Post-Hoc Watermarking Methods Beat Broken-Arrows?
Inria（法国里昂研究所）
本文通过公平比较现代与经典事后水印方法在多种攻击下的鲁棒性和安全性，发现经典方法在现实场景中更优。
2026-05-26 cs.CR cs.CV
Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
本文提出一种编译器安全性证明，通过统一基于模拟的安全性、信息流控制等技术，解决分布式密码学应用综合中多种密码机制、恶意破坏和异步通信等复杂问题，并证明其能保证稳健超性质保持。
2024-01-06 cs.CR cs.PL
On the amplification of security and privacy risks by post-hoc explanations in machine learning models
University of California, Los Angeles（加州大学洛杉矶分校）；IBM Thomas J. Watson Research Center（IBM托马斯·J·沃森研究中心）
近年来，已经提出了各种解释方法，以帮助用户深入了解神经网络返回的结果，这些结果是复杂和不透明的黑匣子。然而，解释会引起潜在的侧信道，对手可以利用这些侧信道对系统进行攻击。特别是，根据输入维度的重要性或与结果的相关性来突出输入维度的事后解释方法也会泄露削弱安全性和隐私性的信息。在这项工作中，我们执行的隐私和安全风险所产生的各种流行的解释技术的第一个系统的特征。首先，我们提出了一种新的推理引导的黑盒规避攻击，在相同的成功率下，可以减少10倍的查询计数。我们表明，从解释的对抗优势可以量化为估计梯度的总方差的减少。其次，我们重温常见解释泄露的会员信息。与先前研究中的观察结果相反，通过我们修改的攻击，即使在更严格的黑盒设置中，我们也显示出成员信息的显着泄漏（比先前的结果提高了100%以上）。最后，我们研究了引导的模型窃取攻击，并通过大量减少查询计数来展示对抗性收益。
2022-06-28 cs.CR cs.LG
Remote Working Pre- and Post-COVID-19: An Analysis of New Threats and Risks to Security and Privacy
正如我们所知，COVID-19已经从根本上改变了社会。为了减少病毒的传播，全球数百万人被迫远程工作，通常是在临时的家庭办公室，并使用大量新的、不熟悉的数字技术。在本文中，我们批判性地分析了冠状病毒大流行期间因远程工作而引起的网络安全和隐私问题。通过我们的工作，我们发现由于这一时期的现实，出现了一系列安全风险。例如，缺乏远程工作安全培训，压力和焦虑加剧，技术部署仓促，以及远程工作环境中存在不受信任的个人（例如，在flatshares），可能会导致新的网络风险。与此同时，我们发现，随着组织希望管理这些以及远程工作人员带来的其他风险，员工的隐私（包括个人信息和活动）往往会受到损害。这一点在远程工作场所监控、管理和监视技术的大量采用中显而易见。这些技术提出了一些隐私和道德问题，并进一步突出了未来安全和隐私之间的紧张关系。
2021-07-08 cs.CR cs.CY cs.HC
PLS-Assisted Offloading for Edge Computing-Enabled Post-Quantum Security in Resource-Constrained Devices
针对物联网资源受限设备部署后量子密码学（PQC）面临的高计算开销与大密钥尺寸问题，提出边缘计算赋能的PQC框架，通过物理层安全辅助卸载策略及联合优化决策，实现总延迟显著降低，提升安全PQC操作的可扩展性与效率。
2025-04-13 cs.CR eess.SP
On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work
我们重新审视了所谓的压缩预言技术，介绍了詹德利量子随机预言模型（QROM）中的量子算法分析。首先，我们提供了一个简洁的阐述的技术，它很容易扩展到并行查询QROM，在每个查询轮所考虑的算法可能会使几个查询的QROM并行。QROM的这个变体允许更细粒度的查询复杂性分析。我们的主要技术贡献是一个框架，简化了使用（的并行查询推广）的压缩Oracle技术证明查询复杂性的结果。有了我们的框架，只要适用，就可以通过纯粹的经典推理来证明量子查询复杂度的下限。不仅如此，对于典型的例子，产生经典界的关键经典观测足以得出相应的量子界。我们证明了这几个例子，恢复已知的结果（如并行Grover的最优性），但也获得了新的结果（如并行BHT碰撞搜索的最优性）。我们的主要目标是找到具有少于$q$并行查询的$q$链的难度，即，序列$x_0, x_1,\ldots, x_q$，其中对于所有$1 \leq i \leq q$具有$x_i = H(x_{i-1})$。上述的寻找哈希链的问题在顺序工作的证明中是非常重要的。事实上，作为一个具体的加密应用我们的技术，我们证明了科恩和Pietrzak提出的“顺序工作的简单证明”仍然是安全的量子攻击。这样的分析不仅仅是插入我们的新边界的问题;整个协议需要根据量子攻击进行分析。由于我们的框架，现在可以用纯粹的经典推理来完成这一点。
2021-07-09 cs.CC cs.CR quant-ph
The Kubernetes Security Landscape: AI-Driven Insights from Developer Discussions
本文分析 Stack Overflow 近四年 Kubernetes 帖子，结合机器学习聚类与 AI 主题描述，发现安全讨论占 12.3% 且影响力持续上升。
2024-09-06 cs.CR cs.SE
A Note on the Post-Quantum Security of (Ring) Signatures
这项工作重新审视了量子世界中经典签名和环签名的安全性。对于（普通）签名，我们专注于最近提出的Alagic等人（Eurocrypt'20）可以说是更可取的安全概念的盲不可伪造性。我们提出了两个短签名方案实现这一概念：一个是在量子随机预言模型，假设SIS的量子硬度;另一个是在平原模型，假设量子硬度的LWE与超多项式模。在此之前，已知的盲不可伪造方案只有Lamport的一次签名和Winternitz的一次签名，并且这两个方案都是在量子随机预言模型下的。对于环签名，Chatterjee等人最近的工作（Crypto'21）提出了一个定义，试图通过量子访问签名者来捕获对手。然而，目前还不清楚，如果他们的定义，仅限于经典世界，是作为环签名的标准安全概念一样强。他们还提出了一种结构，只部分实现（甚至）这个看似薄弱的定义，在这个意义上，对手只能对消息进行叠加攻击，而不是环。我们提出了一个新的定义，不受上述问题的影响。我们的定义类似于环签名中的盲不可伪造性。此外，假设量子硬度的LWE，我们构造了一个编译器转换任何盲不可伪造（普通）签名到环签名满足我们的定义。
2021-12-11 cs.CR quant-ph
Reinforcing Security and Usability of Crypto-Wallet with Post-Quantum Cryptography and Zero-Knowledge Proof
针对量子计算威胁和种子短语不便，提出结合后量子密码学（PQC）和零知识证明（ZKP）的算法，利用LTSSS、Kyber和ZKP增强钱包安全与可用性，并支持恢复和重设私钥。
2023-08-29 cs.CR cs.DC cs.ET
Natural Barriers to Quantum Extraction: On the Post-Quantum (In)security of (O)EKE and Masny-Rindal OT
本研究证明(O)EKE协议和Masny-Rindal OT编译器即使使用后量子KEM，在量子对抗模型下也不具备UC安全性，并提出了一个优势紧致的单向到隐藏引理。
2026-10-01 cs.CR quant-ph
The Security Performance Analysis of Blockchain System Based on Post-Quantum Cryptography -- A Case Study of Cryptocurrency Exchanges
本研究分析了当前加密货币交易所区块链系统面临的量子计算攻击风险，提出基于后量子密码学（PQC）的区块链系统、钱包与交易机制，实验证明PQC算法Dilithium在效率与安全性上均优于传统ECDSA。
2024-01-23 cs.CR cs.CY cs.SE
On the composable security of weak coin flipping
本研究探讨弱硬币翻转协议的可组合安全性，证明其无法作为简单黑盒资源实现可组合安全，但确立了在顺序组合下的独立安全性。
2025-06-19 cs.CR quant-ph
Post-Quantum-Resilient Audit Evidence for Long-Lived Regulated Systems: Security Models, Migration Patterns, and Case Study
Codebat Technologies Inc.（Codebat科技有限公司）
本文提出后量子安全的审计证据模型与迁移策略，通过量子安全签名方案实现长期受监管系统的审计证据安全性。
2026-02-08 cs.CR cs.DC
Spinel: A Post-Quantum Signature Scheme Based on $\mathrm{SL}_n(\mathbb{F}_p)$ Hashing
Hassan II University（哈桑二世大学）；University of Texas, Austin（德克萨斯大学奥斯汀分校）；Queens College, City University of New York（纽约市立大学皇后学院）；Graduate Center, City University of New York（纽约市立大学研究生院）；Tandon School of Engineering, New York University（纽约大学坦登工程学院）；University of York（约克大学）
Spinel是一种基于SL_n(F_p)哈希的后量子签名方案，结合了SPHINCS+的安全性与新的代数哈希函数，提供了一种安全且可行的数字签名解决方案。
2026-02-11 cs.CR math.GR
Raijū: Reinforcement Learning-Guided Post-Exploitation for Automating Security Assessment of Network Systems
University of Information Technology（信息技术大学）；Vietnam National University, Ho Chi Minh City（胡志明市越南国家大学）
本文提出 Raijū 框架，利用 A2C 与 PPO 强化学习训练智能体自动选择 Metasploit 模块完成后渗透攻击，在四个真实环境中以少于55步实现逾84%成功率。
2023-09-27 cs.AI cs.CR
Quantum Futures Interactive: A Live Demonstration of Post-Quantum Blockchain Security, Infrastructure Tradeoffs, and Sustainable Distributed Trust
Amazon Web Services（亚马逊云科技）；Tenorshare（腾信）；Duke Kunshan University（杜克昆山大学）
本文通过量子期货互动平台展示从经典到抗量子区块链系统的过渡，探讨后量子密码学在区块链安全、基础设施权衡和可持续分布式信任中的应用与挑战。
2026-08-04 cs.CR cs.CY cs.ET
MAGIQ: A Post-Quantum Multi-Agentic AI Governance System with Provable Security
University of Calgary（卡尔加里大学）；Northeastern University（东北大学）
本文提出MAGIQ，一种利用新型高效抗量子加密协议进行多智能体AI系统策略定义和执行的框架，旨在解决智能体通信和访问控制策略的安全性问题，并提供可追溯的问责机制。
2026-05-18 cs.CR cs.LG cs.MA
