研究论文
Post-Quantum Sound CryptoVerif and Verification of Hybrid TLS and SSH Key-Exchanges
Bruno Blanchet, Charlie Jacomme
Institut national de recherche en sciences et technologies du numérique Centre National de la Recherche Scientifique Laboratoire Lorrain de Recherche en Informatique et ses Applications Université de Lorraine
来源Proceedings - Computer Security Foundations Workshop/Proceedings
年份2024
阅读操作
确认中在文库中上传 PDF 后可生成中文音频讲解。
摘要与影响
摘要 · 节选
暂未获取摘要。可打开原文或 PDF，后续可基于全文生成更完整的速读。
逐年被引趋势
320
325
26
关键指标
6
被引次数 · OpenAlex
1.76
领域内被引倍数
同类平均 = 1
同类平均 = 1
前 14%
引用位次
同领域 · 同年份 · 同类型
同领域 · 同年份 · 同类型
26
参考文献
Google Scholar 与 OpenAlex 的被引统计范围不同，数值存在差异属正常。
AI 辅助阅读
依据：文献信息
论文问答
当前基于文献信息回答
可就本文提问；依据不足时会说明。
学术脉络
学科主题
计算机 / AICryptography and Data Security
Advanced Authentication Protocols Security · Cryptographic Implementations and Security
参考文献 26
From Computationally-Proved Protocol Specifications to Implementations and Application to SSH
被引 15David Cadé, Bruno Blanchet · INRIA a CCSD electronic archive server · 2013
Formalizing Human Ignorance
被引 129Phillip Rogaway · Lecture notes in computer science · 2006
A Note on Quantum Security for Post-Quantum Cryptography
被引 73Fang Song · Lecture notes in computer science · 2014
此处列出前 3 条
引用本文 6
Subversion-resilient Key-exchange in the Post-quantum World
被引 2Kévin Duverger, Pierre-Alain Fouque, Charlie Jacomme · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 2025
Post-Quantum Resistant Key Exchange Protocol for SSH Transport Layer Using Split-KEM
被引 1Onkar Garg, Awaneesh Kumar Yadav, Ravi Kumar V · Cyber Security in Networking Conference (CSNet) · 2025
Formalizing the One-Way to Hiding Theorem
被引 1Katharina Heidler, Dominique Unruh · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 2025
按被引量排序，此处列出前 3 条