本文针对5G网络向抗量子安全过渡的需求，在分解式5G架构下，对嵌入式用户设备（UE）上的后量子密码（PQC）集成到TLS握手过程进行了能量感知的系统级评估。作者使用树莓派5模拟嵌入式处理平台，结合直接设备功耗测量，评估了NIST标准化的经典/后量子签名与密钥封装机制（KEM）组合在TLS握手过程中的性能。实验结果表明：延迟与能耗高度耦合，执行时间是能耗的主要决定因素；哈希签名方案（如SPHINCS+）的延迟和能耗分别是格基方案（如CRYSTALS-Dilithium）的4倍和2倍，而KEM的影响相对较小。进一步分析发现，系统整体性能主要受密码计算和并发竞争限制，而非网络传输。研究结论为5G移动环境下PQC的部署提供了实用指导，指出格基签名在安全性、效率和可扩展性之间取得了更优的平衡。 该工作适合5G安全架构师、密码实现工程师以及关注后量子密码在实际系统中能耗表现的科研人员阅读。

论文《Building Embedded Systems Like It's 1996》探讨了现代嵌入式系统设计中沿用上世纪90年代过时实践所带来的安全风险。研究通过分析多个嵌入式固件和硬件平台，发现了因缺乏内存保护、使用不安全编程语言、未考虑攻击面等历史遗留问题导致的通用漏洞模式。作者提出了一种自动化审计框架，能够识别此类“年代性”脆弱设计，并在真实设备上验证了其有效性。实验表明，超过60%的测试设备存在至少一个可被利用的1996式漏洞，包括缓冲区溢出、未校验的输入和缺乏认证的接口。论文呼吁业界更新开发规范，并提供了迁移建议。由于仅基于标题和作者信息生成摘要，实际细节可能有所偏差。

该论文提出了一种名为HERA（Hotpatching of Embedded Real-time Applications）的新型热补丁方案，专门针对资源受限的嵌入式实时系统，例如医疗设备、工业控制器等物联网（IoT）设备。传统的内存损坏攻击（如缓冲区溢出、use-after-free）是IoT设备的主要威胁，而常规的固件更新往往要求系统停机并重启，这对于需要高可用性和实时性约束的系统是不可接受的。此前的研究已提出热补丁概念，允许在不重启的情况下修补漏洞，但现有方法多依赖外部内存或复杂硬件支持，无法直接应用于资源极度受限的IoT微控制器（MCU），也无法处理由于只读存储器（如ROM）导致无法直接修改固件映像的硬件限制。HERA的核心创新在于：它利用嵌入式设备中已有的调试接口（如ARM CoreSight或JTAG）或直接内存访问（DMA）机制，在不停止系统运行的前提下，将补丁代码动态注入到RAM中，并通过篡改函数指针、修改指令流或重定向中断向量表等方式，使系统在后续执行中调用补丁而非原始漏洞函数。论文详细描述了HERA的设计原理，包括如何识别可修补的函数、如何生成位置无关的补丁代码、以及如何确保实时性不受影响。作者在基于ARM Cortex-M的嵌入式测试平台上实现了HERA，并针对多个真实世界漏洞（如CVE-2021-3479等）进行了实验评估。结果表明，HERA能够成功热修补漏洞，平均引入的延迟仅为微秒级，对系统实时任务的最大抖动影响不超过10%，内存开销小于2KB。此外，HERA无需修改现有固件或重启设备，完全适用于只读内存环境。该工作的主要贡献是首次为资源高度受限的嵌入式实时系统提供了一种实用、高效的热补丁方案，填补了IoT安全领域的空白。适合从事嵌入式系统安全、固件安全、以及IoT/医疗设备安全的研究人员和工程师阅读。

该论文提出了一种名为 StackPatch 的动态漏洞修复框架，专门针对资源受限且要求持续运行的嵌入式设备（如医疗设备、软PLC等）。现有动态补丁技术不适用于嵌入式系统，因为这类设备计算能力和内存有限，且缺乏足够的空闲内存来支持传统补丁机制；此外，不同处理器架构增加了补丁触发器的兼容性难度。StackPatch 的核心创新在于基于栈帧重构（Stack Frame Reconstruction）的方法：它利用异常处理机制（嵌入式处理器普遍支持）来实现控制流重定向，从而在不中断服务的情况下将补丁代码注入运行中的程序。框架支持多种触发策略，以更新存储单元中的程序。作者在三种主流微控制器架构（ARM、RISC-V、Xtensa）上进行了评估，使用 StackPatch 成功修复了实时操作系统（RTOS）中的 102 个公开漏洞，并应用于医疗设备、软 PLC 和网络服务。实验表明，每次漏洞修复耗时不超过 260 个 MCU 时钟周期，证明了其高效性和跨架构兼容性。该工作面向嵌入式安全研究人员、RTOS 开发者以及需要保障关键基础设施高可用性的安全工程师，填补了嵌入式设备动态热补丁技术的空白。

论文《Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers》针对现代汽车软件更新周期长、安全法规合规要求高的问题，提出了一种全新的热补丁框架。传统更新方法需要数月重新验证以满足ISO 26262等安全标准，而现有实时嵌入式系统的热补丁方案缺乏对汽车领域特殊需求的支持，例如法规合规性、安全验证以及基于闪存的就地执行（XIP）架构。Patchlings是首个专为汽车系统设计的、兼顾安全合规与持久性的热补丁框架，旨在从根本上缩短漏洞和缺陷的平均修复时间（MTTM）。作者在汽车级硬件平台NXP S32K148EVB上实现了完整原型，并分别在FreeRTOS和Zephyr操作系统上进行了评估。实验结果表明，该框架具有低且确定性的开销（补丁应用时延迟仅3.3微秒），固件体积增加极小（最低6.34%），并能成功修补多种真实CVE漏洞，证明其现实适用性和有效性。该研究填补了热补丁技术在汽车领域应用的空白，为汽车网络安全应急响应提供了新思路。

该论文研究了一种针对现代汽车电子控制单元（ECU）的新型远程关闭攻击方法。作者指出，现有的关闭攻击要么依赖物理操纵总线信号，要么通过消息注入，但这些方法难以同时实现远程、隐蔽和可靠。本文提出利用汽车微控制器单元（MCU）中的外设时钟门控功能，使得远程攻击者仅通过软件控制即可可靠地“冻结”被攻陷ECU的输出，并在任意时刻插入任意比特位。基于此，作者设计了名为CANNON的攻击，能够实现远程关闭目标ECU。由于CANNON攻击产生的错误模式与自然错误无法区分，且不需要插入额外消息，因此现有的入侵检测系统（IDS）难以检测。作者在两个现代乘用车ECU中使用的汽车级MCU上进行了验证，并讨论了潜在的缓解策略和对抗措施。该研究揭示了汽车安全中一个被忽视的攻击面，对汽车网络安全防御具有重要警示意义。

内存安全错误是低级软件中零日漏洞的持续根源，尤其在嵌入式系统中，硬件保护有限且动态分析难以有效应用。内存安全验证可以通过证明不存在此类错误或暴露违规来提供更强保证，但当前验证工作流主要依赖手动操作，需要大量专业知识，限制了实际采用。本文提出 AutoSOUP，一种通过安全导向单元证明实现组件级内存安全验证自动化的系统。作者形式化定义了单元证明，将其编码为包含验证选择（作用域、循环边界和环境模型）的工件，用于验证安全属性，并引入三种自动推导技术。为克服现有自动化方法的局限，进一步提出 LLM-As-Function-Call 混合架构，结合确定性程序合成与大语言模型自动执行这些技术，生成可解释的单元证明。通过评估 AutoSOUP 自动化内存安全验证的能力、在已验证组件中暴露漏洞的效果，并刻画了所得证明的假设和保证。实验表明，AutoSOUP 能有效降低验证专业门槛，提升验证效率，尤其适用于资源受限的嵌入式安全场景。