System-Level Optimization Beyond Cryptographic Kernels: An ML-KEM Case Study on Arm Cortex-M7
该研究关注嵌入式后量子密码（PQC）实现中的性能优化层次问题。此前学术界与工业界的相关工作主要聚焦于指令级优化，例如算术内核改进、汇编级调优、寄存器分配以及指令调度，其中 SLOTHY 超级优化器生成的 ML-KEM 实现代表了当前较先进的
#embedded-security
共收录 16 条相关情报。
← 返回所有主题OT-PCA: New Key-Recovery Plaintext-Checking Oracle Based Side-Channel Attacks on HQC with Offline Templates
本文提出 OT-PCA(Offline Template Plaintext-Checking Attack)一种针对后量子密钥封装机制 HQC(Hamming Quasi-Cyclic)的新型侧信道密钥恢复攻击框架,其基础是明文检测(Pl
Efficient TCitH-Based Alternatives to SLH-DSA: Cross-Layer ASIC Design of Mirath
该论文针对后量子签名方案在资源受限嵌入式平台上的实现效率问题展开研究。背景是：为应对量子计算对现有公钥密码的威胁，NIST 已标准化三类后量子签名方案 ML-DSA、FN-DSA（均为格基）以及 SLH-DSA（基于哈希假设）。为保持密码敏
Benchmarking Post-Quantum Cryptography in Lightweight Virtualization Environments on Embedded Hardware
该论文针对后量子密码（PQC）迁移与嵌入式系统轻量化虚拟化两条技术趋势的交汇点展开系统性测量研究。背景是：一方面 NIST 标准化的 PQC 算法正逐步进入实际部署，另一方面嵌入式/IoT 设备开始广泛采用容器、unikernel 等轻量虚
POZZER: A Power Side Channel-guided Fuzzer for Black-Box Embedded Systems
该论文针对嵌入式系统固件漏洞挖掘中的黑盒难题提出了 POZZER——一种以功耗侧信道为反馈的模糊测试器。传统覆盖引导的固件模糊测试通常依赖固件插桩、硬件调试接口或固件重宿主(rehosting)来获取执行反馈, 这些手段都以能够访问固件源码
Transcript-Bound Combiners for Downgrade-Resilient Hybrid Post-Quantum Key Establishment: Definition, Proof, and Embedded-Device Cost
该论文研究混合密钥建立（hybrid key establishment）在缺少握手上下文认证时的降级风险。混合方案同时运行一个后量子 KEM（当前标准化的 ML-KEM）与一个经典 Diffie-Hellman 原语，使得只要其中任一组件
An Empirical Security Analysis of Open-Source Software Used in Onboard Satellite Systems
本文针对星载（onboard）卫星飞行系统中日益广泛使用的开源软件（OSS）开展了一次实证性安全分析。研究背景在于：现代卫星任务为加速研发，大量采用可复用框架、共享库与社区维护组件，但这些组件被引入到补丁更新代价极高、失效可能直接影响任务运
TLF: Rapid Characterization of RF Transceiver Parameters in Embedded Systems via Bus-Level Interception
本文提出并实现了一个名为 TLF（Transceiver Lifter Framework）的工具，用于从微控制器与射频收发器芯片之间的总线级捕获痕迹中，恢复收发器的配置与运行时行为。该方法针对收发器的寄存器与数据接口构建了有状态协议解码器
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
本论文针对嵌入式安全关键系统中部署深度神经网络等复杂算法时面临的安全性与资源效率矛盾问题展开研究。现有硬件（GPU、NPU、TPU）以吞吐量为设计目标，忽视计算正确性，易受故障注入攻击（特别是比特翻转攻击）；而软件量化方案要么静态且正确但功
MyTEE: Own the Trusted Execution Environment on Embedded Devices.
本文提出 MyTEE，一种在嵌入式设备上构建可信执行环境（TEE）的方案，目标设备缺乏 ARM TrustZone 扩展等关键硬件安全原语（如 TZASC、TZMA、TZPC 和 IOMMU）。MyTEE 仅依赖 CPU 的安全状态，通过精
GlitchGlück: Enabling Software Vulnerabilities through Guided Hardware Fault Injection.
本文提出了一种名为 GlitchGlück 的引导式硬件故障注入方法，旨在通过物理手段（如电压毛刺、时钟毛刺）在软件执行过程中引入可控的硬件错误，从而使得原本难以利用的软件漏洞（如缓冲区溢出、条件检查绕过）变得可利用。传统上，软件漏洞的利用
UIEE: Secure and Efficient User-space Isolated Execution Environment for Embedded TEE Systems.
该论文提出了一种名为UIEE（User-space Isolated Execution Environment）的安全高效的用户空间隔离执行环境，专为嵌入式TEE（Trusted Execution Environment）系统设计。当前
MIPSBLEED: Uncovering Microarchitectural Timing Leaks in Pervasive Embedded Processors
本文研究 MIPS 处理器在现代嵌入式系统（如路由器、工业控制器、IoT 设备）中面临微架构侧信道攻击的脆弱性。尽管 MIPS 架构历史悠久且广泛部署，但其对侧信道攻击的防御能力长期未受关注。作者发现，在这些平台上普遍使用的同步多线程（SM
Poster: Control-Flow Integrity in Low-end Embedded Devices.
该论文聚焦于低端嵌入式设备（如IoT设备）的控制流完整性（CFI）保护问题。这类设备因成本限制极少具备安全机制，成为攻击者的目标。作者针对资源极度受限的微控制器提出了轻量级CFI方案。通过分析程序控制流图，在函数调用和返回点插入验证机制，确
Towards Secure Runtime Auditing of Remote Embedded System Software.
该论文针对远程部署的低成本微控制器单元（MCU）的安全审计问题展开研究。MCU因其低功耗和高能效，越来越多地被用于关键任务场景，但其固有的安全漏洞使其易受攻击。控制流证明（CFA）是一种远程检测攻击的技术，通过记录任务执行期间的所有控制流转
Pitfalls for Security Isolation in Multi-CPU Systems.
该论文系统性地研究了多CPU片上系统（SoC）中的安全隔离问题。在嵌入式系统中，集成多个CPU（如ARM Cortex-M4和Cortex-M0）到单个SoC可提升性能并实现任务分离，但传统单CPU安全机制（如内存保护单元MPU）在多CPU