Exploiting Software-level Abstractions To Support Practical Hardware Trojan Attacks
该论文研究 CPU 硬件木马（Hardware Trojan, HT）在实际终端设备上的可行威胁模型。传统 CPU 木马攻击通常假设攻击者已能在目标系统上执行任意机器级代码，以便可靠触发植入的木马逻辑；但在手机、笔记本等终端设备上，任意代码
#RISC-V
共收录 15 条相关情报。
← 返回所有主题AutoTrans: AI-Assisted Automatic Translation of Security Assertions for RISC-V Processors
该论文聚焦 RISC-V 处理器硬件安全验证中的一大效率瓶颈：把一组已在某个处理器目标上通过验证的安全断言（security assertions）复用到另一个 RISC-V 核上。这一过程目前主要依靠人工完成，单条断言的翻译往往要耗费数小
HermiCache: Enclave-Aware Cache Replacement for Trusted Execution Environments
背景与问题: 可信执行环境(TEE, 如 Intel SGX、RISC-V Keystone 等)能把 enclave 的内存与执行上下文与不可信软件隔离, 但缓存等微架构资源在 enclave 与非可信上下文之间仍然共享, 因此攻击者仍可
NACRE: Rethinking Confidential Containers through Native Architectural Support
论文《NACRE: Rethinking Confidential Containers through Native Architectural Support》针对Linux容器在共享主机内核设计下的安全缺陷展开研究。传统容器依赖主机内
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors.
该论文针对开源 RISC-V 处理器中微架构侧信道的信息泄露问题，提出了一种自动化合成泄漏合约（leakage contracts）的方法。泄漏合约是近期提出的、用于指令集架构（ISA）层面的安全抽象，旨在精确刻画处理器通过微架构侧信道可能
Implementing Homomorphic Encryption-Based Logic Locking in System-on-Chip Designs
本研究提出了一种基于二进制 Ring Learning With Errors (RLWE) 同态加密算法的逻辑锁定方案，并将其集成到 RISC-V 系统级芯片 (SoC) 设计中。传统逻辑锁定方法需要向用户提供原始锁定参数，容易暴露敏感信
SPARC: Automated Root-Cause Analysis of Pre-Silicon Power Side-Channel Leakage in the Processor Design Flow
论文提出 SPARC，一个自动化的预硅功耗侧信道泄漏（PSCL）评估与根因分析框架。PSCL 源自处理器架构和微架构的偶然因素，对密码软件的机密性构成严重威胁。现有方案受限于仿真可扩展性差，或无法将泄漏归因于正确的硬件信号和软件指令，阻碍了
Elasticlave: An Efficient Memory Model for Enclaves.
本文针对受信执行环境（TEE）中严格内存模型导致的性能瓶颈问题，提出了一种新的内存模型——Elasticlave。传统TEE（如Intel SGX）采用空间隔离模型，强制enclave之间不能共享内存，导致数据拷贝开销巨大，性能降低1-2个
HORCRUX: A Complete PQC RISC-V eXtension Architecture
本文提出了一种名为HORCRUX的紧凑型RISC-V扩展，用于支持后量子密码学（PQC）。该扩展提供统一的指令集扩展（ISE），支持所有NIST批准的PQC算法（如ML-KEM、ML-DSA、SLH-DSA、HQC和Falcon）。HORC
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.
该论文提出 CryptoBap，一个用于验证加密协议二进制代码安全属性的平台。研究背景是：现实中的加密协议实现可能因编译器优化、平台差异或编程错误而引入安全漏洞，而传统的形式化验证方法通常针对高级语言或协议规范，难以直接分析编译后的机器码。
Embedded Blockchain Infrastructure Management (eBIM): A RISC-V-Empowered Hardware--Software Co-Design Framework Towards Trustworthy Blockchain
本文提出嵌入式区块链基础设施管理（eBIM）概念，这是一种基于RISC-V开放指令集架构的软硬件协同设计框架，旨在解决当前区块链基础设施管理中的信任、灵活性和数据主权问题。传统区块链即服务（BaaS）模型将基础设施控制权外包给第三方服务商，
CURE: A Security Architecture with CUstomizable and Resilient Enclaves.
该论文提出了CURE，一种新型的安全架构，旨在解决现有可信执行环境（TEE）解决方案的三大设计缺陷：1）现有TEE采用“一刀切”的方式仅提供单一飞地类型，而不同服务需要灵活的飞地以适应其需求；2）现有TEE无法有效支持新兴应用（如机器学习即
DiveFuzz: Enhancing CPU Fuzzing via Diverse Instruction Construction.
本文提出 DiveFuzz，一种通过多样性指令构造来增强 CPU fuzzing 的方法。在 CPU fuzzing 中，全面探索架构状态类似于生成多样化的测试用例，这需要合理的操作码分布以及指令执行结果（通常通过写回数据衡量）的多样性。然
InjectV: Modeling Fault Injection Attacks in RISC-V Simulation Environment
该论文介绍了InjectV，一个基于gem5模拟器的RISC-V平台故障注入攻击框架。故障注入攻击（FIA）通过诱导计算或存储中的恶意故障来破坏系统安全。在硅前开发阶段评估抗攻击能力因物理实验成本高、复杂度大且可用性有限而极具挑战。Inje
GoldenFuzz: Generative Golden Reference Hardware Fuzzing.
现代硬件系统由于追求高性能和特定应用功能而日益复杂，引入了大量漏洞和安全关键脆弱性的攻击面。模糊测试作为一种可扩展的缺陷发现方法已得到广泛应用，但现有硬件模糊器存在语义感知有限、测试用例优化效率低、以及依赖慢速设备仿真导致计算开销大等问题。