SCVerify:抗功耗侧信道攻击软件实现的验证

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:wsw361
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁。随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策。尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制。为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性。实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许
其他文献
哲学、美学意义上的荒诞主要是借由非理性的某种悖谬性来揭示现代人的异化处境。《洁白的云朵会撒谎》中荒诞表现在几个方面,即真假变幻,美丑错位,灵肉分裂,善恶难辨。其荒诞
从反合论出发,讨论“有”与“无”的哲学辩证关系,借助语言等级中数量等级的蕴含性与反合等级的对立互补性,并对比分析其英译本的反合表征,为典籍翻译研究提供一种行之有效的
全面推进课程思政建设是落实立德树人根本任务的战略举措,也是全面提高人才培养质量的重要任务。在实际建设中,通识课程是课程思政的理想载体,在教学目标、教学手段、课程建
劳动教育作为全面发展教育的重要组成部分,是高校贯彻落实“五育并举”教育方针的重要内容,事关立德树人根本任务和高质量育人体系建设。通过调查五所地方高校劳动教育实施现
智能生物传感器是全球柔性电子科学的前沿和研究热点,以集成硅基微电路芯片为生物传感器的研发核心,因在医疗和临床环境中可以实现稳定而持续的数据采集、处理和无线传输,从
成簇规律间隔短回文重复序列(CRISPR)/CRISPR相关核酸酶(Cas)系统和诱导Cas蛋白到达基因组预定区域的RNA基因编辑技术,在视网膜疾病的治疗中具有广大应用前景。迄今为止,已知
现当代诗歌具有独特的艺术魅力及重要的审美价值,开展好现当代诗歌的教学是语文课程实现美育的重要途径。基于美育的视角,现当代诗歌可从“四美”角度出发实施教学:一是在个
长安书写,是将地理空间长安及周边领域作为抒情对象的文学书写。晚唐诗人许浑基于自我生命体验,以唐代长安为中心构建诗歌文本的艺术空间,主要可以分为三类:一是仕禄之地,表
宋人注重内心的修养,具有强烈的内省精神,这种精神在诗歌中则表现为对自惭、自愧和自讼的抒写。北宋初期的宋祁是诗文革新之前的重要诗人,他的诗歌已体现出很强的自我反省精
新闻推荐(NR)可以有效缓解新闻信息过载,是当今人们获取新闻资讯的重要方式,而深度学习(DL)成为近年来促进新闻推荐发展的主流技术,使新闻推荐的效果得到显著提升,受到研究者