胡伟

作品数：25被引量：75H指数：6
导出分析报告
供职机构：西北工业大学更多>>
发文主题：木马检测网表集成电路设计形式化验证密码算法更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《西安电子科技大学学报》《电子技术应用》《电子科技大学学报》《计算机工程与应用》更多>>
所获基金：国家自然科学基金国家教育部博士点基金中国博士后科学基金国防基础科研计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于最大均值差异的能量侧信道泄露量化评估
《计算机学报》2024年第6期1355-1371,共17页洪亮 翟元洁 王嘉熙 郑健 胡伟 
国家重点研发计划“处理器集成电路设计脆弱性检测与形式化验证”(2021YFB3100901);国家自然科学基金“基于联合信息流分析的细粒度标准化硬件安全模型与度量研究”(62074131);航天772所“同芯计划”项目资助.
能量侧信道分析是通过对密码设备运行时的能量消耗进行分析,推导出运行时的操作及操作涉及的敏感中间值.对密码设备进行能量泄露量化评估是分析密码设备信息泄露程度的重要手段,目前主流的评估方案主要关注于能量迹上单个样本点的泄露,...
关键词：能量侧信道 信息泄露 量化评估 最大均值差异 掩码 AES 
一种针对格基后量子密码的能量侧信道分析框架
《电子与信息学报》2023年第9期3210-3217,共8页胡伟 袁超绚 郑健 王省欣 李倍倍 唐时博 
国家重点研发计划(2022YFB3103800)。
为应对量子计算对传统公钥密码的安全威胁,后量子密码(PQC)已逐渐成为新一代密码技术。虽然后量子密码通过数学理论保证了算法的安全性,但在密码实现运算过程中易发生侧信道信息泄漏。该文提出一种针对格基PQC的能量侧信道分析攻击框架...
关键词：后量子密码 能量侧信道 攻击框架 高阶选择密文攻击 Kyber 
基于信息流分析的密码核设计安全验证与漏洞检测被引量：9
《西北工业大学学报》2022年第1期76-83,共8页马艺新 唐时博 谭静 李雪霏 胡伟 
国家自然科学基金(62074131);陕西省自然科学基金(2021JQ-123)资助。
密码算法核是保障信息机密性和完整性的关键部件。由于密码算法实现的安全性与算法在数学上的安全性是2个完全不同的问题,密码算法核可能隐含设计缺陷和旁路信道等安全隐患。基于功能验证的安全性分析方法严重依赖于测试向量的质量,覆...
关键词：信息流分析 安全验证 漏洞检测 密码算法核 
AES相关故障注入攻击被引量：5
《西安电子科技大学学报》2021年第4期192-199,208,共9页王省欣 胡伟 谭静 朱嘉诚 唐时博 
国家自然科学基金(62074131);陕西省自然科学基金(2019JM-244);西北工业大学硕士研究生创意创新种子基金(CX2020297)。
由于故障注入攻击方法大多对故障注入的位置、时机和数量有严格的要求,密钥恢复过程中往往需要复杂的数学分析,或者需要大量时间来训练故障攻击模板,故提出一种针对不同密钥长度高级加密标准算法实现的简单相关故障注入攻击方法,利用高...
关键词：侧信道分析 故障注入攻击 相关故障分析 高级加密标准 
基于Yosys的硬件信息流安全验证与漏洞检测被引量：6
《计算机应用研究》2021年第6期1865-1869,共5页陈春雷 王省欣 谭静 朱嘉诚 胡伟 
国家自然科学基金资助项目(61672433)。
针对基于功能验证和侧信道分析的硬件安全漏洞检测方法的不足,提出了一种结合Yosys形式化验证能力和门级信息流追踪方法对集成电路设计进行安全验证和漏洞检测的方案。首先,使用Yosys对硬件电路设计进行逻辑综合,生成门级网表。其次,为...
关键词：硬件安全 信息流安全 安全验证 漏洞检测 Yosys 
基于可满足性无关项的硬件木马设计与检测被引量：1
《网络与信息安全学报》2021年第2期35-42,共8页武玲娟 朱嘉诚 唐时博 谭静 胡伟 
国家自然科学基金(62074131);湖北省自然科学基金(2020CFB190)。
硬件木马是集成电路中隐含的恶意设计修改,被激活后可用于发起高效的底层攻击。由此,展示了一种新的利用可满足性无关项的轻量级高隐蔽性硬件木马安全威胁。该木马设计方法将轻量级木马设计隐藏于电路正常工作条件下无法覆盖到的可满足...
关键词：硬件安全 硬件木马 可满足性无关项 故障注入 木马检测 
能量隐通道安全高层综合设计方法被引量：2
《西安电子科技大学学报》2020年第4期64-69,共6页张璐 慕德俊 胡伟 邰瑜 
国家自然科学基金(61672433);深圳市科技创新委员会基础研究(201703063000517);国家密码发展基金(MMJJ20170210);陕西省关键技术研究发展项目(2018KW-005);国家电网技术项目(522722180007)。
针对高层综合设计流程中长期缺乏有效安全设计流程的问题,提出了一种针对能量侧信道的高层综合安全设计方法。该方法通过构建能量安全属性模块库量化侧信道安全,使用安全优化控制流产生高效安全的并行调度机制,应用安全优化数据流生成...
关键词：高层综合技术 硬件设计 密码设备 信息泄露 能量侧信道 
基于信息熵的RSA硬件时间隐通道信息泄露量化研究被引量：4
《计算机学报》2018年第2期426-438,共13页毛保磊 胡伟 慕德俊 张慧翔 邰瑜 洪亮 
国家自然科学基金(61672433);深圳市科创委基础研究基金(201703063000517);国家密码发展基金(MMJJ20170210);中央高校基本科研业务费专项资金(3102017OQD094)资助~~
RSA密码算法作为主流的公钥加密和签名算法,其安全性被工业界和学术界广泛关注.RSA算法的安全性主要包括算法自身的不易破解性和密钥的安全性两个方面.而通过能量和时间隐通道来攻击算法密钥往往比破解RSA算法更为有效.现有的研究大多关...
关键词：硬件安全 隐通道分析 时间隐通道 信息泄露 RSA算法 信息熵 量化分析 
RSA时间信道滑动窗口攻击方法及量化分析被引量：9
《西安电子科技大学学报》2017年第5期114-120,共7页毛保磊 慕德俊 胡伟 张慧翔 邰瑜 张璐 
国家自然科学基金资助项目(61303224;61672433);博士后科学基金资助项目(2013M532081);中央高校基本科研业务费专项资金资助项目(3102016JKBJJGZ07);国家密码发展基金资助项目(MMJJ20170210)
RSA硬件密码核的时间侧信道对硬件安全构成严重威胁.针对此问题,提出一种显著提高RSA硬件密码核时序攻击成功率的滑动窗口攻击方法;同时提出一种信息理论模型,量化分析该攻击方法提高攻击成功率的机制.通过对RSA密码核进行攻击测试,与Ko...
关键词：侧信道攻击 信息理论 量化分析 信息泄露 时序攻击 
RSA密码核时间侧信道检测与量化分析被引量：2
《计算机工程与应用》2017年第10期8-12,26,共6页毛保磊 慕德俊 胡伟 张慧翔 秦茂源 
国家自然科学基金(No.61303224;No.61672433);中国博士后科学基金面上项目(No.2013M532081);中央高校基本科研业务费专项资金(No.3102016JKBJJGZ07)
攻击者通过RSA时间侧信道可有效破解其密钥。但目前缺乏有效的方法检测和评估RSA硬件密码核时间侧信道信息泄漏。针对此问题,利用门级信息流追踪方法检测RSA时间侧信道;提出一种测试框架对密钥位泄露进行定性检测和定量分析。通过对五...
关键词：时间信道 信息流 RSA算法 硬件设计 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部