该论文（标题为《CATana: On the Dangers of SIM-Originating AT Commands》）重点关注移动通信中一个常被忽视的安全边界：SIM 卡与基带调制解调器之间的信任关系。传统安全模型通常把 SIM 卡视为可信的认证实体，但在现代移动架构中，SIM 卡（或 eSIM）具备主动向调制解调器发送 AT 命令的能力。论文借此揭示了恶意或受损的 SIM 卡可通过这种“SIM 发起 AT 命令”机制，试图与基带进行非预期交互，从而影响设备状态，甚至可能为攻击者所利用。研究者提出了名为 CATana 的分析与检测框架，用于系统化地理解这种命令通道的行为，评估其潜在风险。由于目前仅获得论文摘要（abstract_only），本文档无法提供具体的实验数据或验证细节；但从标题与摘要可见，该工作属于移动安全与基带安全的前沿探索，旨在向安全社区揭示一种新型攻击面，并探讨相应的防御措施。论文的核心贡献包括：定义并描述 SIM 发起 AT 命令的威胁模型，提供检测思路，以及讨论如何提高调制解调器固件的健壮性。适合移动设备制造商、运营商以及基带安全研究者阅读。

该论文为一篇 SoK（系统化知识）论文，主题是蜂窝网络基带（Cellular Basebands）的安全性问题。基带是移动设备中负责与蜂窝网络通信的关键组件，其安全性直接影响用户的通信隐私和设备完整性。论文旨在系统化梳理基带安全领域已有的研究成果、已知漏洞类型、攻击面以及防御措施。由于本次输入仅提供论文标题与作者信息，未包含完整摘要，因此无法详细描述论文的具体方法论和实验发现。基于标题推断，论文可能总结了基带协议实现中的安全弱点、远程攻击途径、基带固件逆向分析技术、以及业界已提出的缓解方案。适合移动安全研究人员、基带固件开发者、以及移动设备安全审计人员阅读。建议读者查阅原文获取更完整的系统化分析结论。

本文提出 LLFuzz，一个针对蜂窝基带低层（如物理层、MAC层）的空中（over-the-air）动态测试框架。基带芯片是移动设备中处理蜂窝通信的关键组件，其低层协议栈通常运行在专用实时操作系统上，且与上层应用隔离，传统基于主机的模糊测试难以覆盖。LLFuzz 通过软件无线电（SDR）设备与实际基带进行真实无线信号交互，动态生成并注入畸形或边界条件的LTE/NR物理层信号，以触发基带底层解析逻辑中的漏洞。核心贡献包括：设计了面向基带低层的协议状态感知模糊测试流程，能自动适配不同物理层信道配置；开发了高效的信令生成与同步机制，保证测试帧能被目标基带正确接收；并实现了基于崩溃或异常行为的崩溃检测与输入复现方法。实验在多个主流商用基带芯片上进行，成功发现多个可导致基带重启或拒绝服务的未公开缺陷，证明了该框架的有效性和实用性。该研究为蜂窝基带安全评估提供了新的动态测试手段，弥补了静态分析和纯软件模拟的不足，适合移动通信安全研究人员、基带固件开发者及运营商安全团队参考。

蜂窝基带负责移动设备与基站之间的通信，但其安全性评估极为困难。基带固件通常闭源、混淆度高且逻辑复杂，手动逆向分析需要大量重复劳动，难以覆盖不同型号和版本；自动化分析又因固件规模庞大、涉及大量与复杂蜂窝协议相关的函数而难以实施。因此，已有的基带安全研究大多只针对单一厂商的少数型号或版本，缺乏系统性和可扩展性。针对这一空白，本文提出 BaseSpec 方法，其核心思路是将基带软件中的协议实现与 3GPP 蜂窝规范（特别是 L3 协议）进行细粒度的自动化比较分析。通过提取基带固件中的状态机、消息处理流程和协议字段约束，并与规范中的定义进行比对，从而识别实现中的偏差、逻辑错误或潜在漏洞。该方法能够有效减少人工参与，使分析过程可扩展到多厂商、多型号和多版本。论文的主要贡献包括：设计了一种面向 L3 协议的基带软件-规范比较框架；提出了自动化提取和比对协议状态机的方法；并通过实验证明该方法能够发现实际基带实现中的安全相关缺陷。适合移动安全研究员、基带厂商安全团队以及对协议实现漏洞挖掘感兴趣的读者阅读。

基带固件是蜂窝通信中的关键组件，但因其专有、闭源以及状态化处理逻辑的复杂性，系统性安全测试面临巨大挑战。现有方法往往忽视基带任务间的依赖关系和输入处理逻辑的状态性，导致测试覆盖有限且效率低下。本文提出 Loris，一种针对商业基带固件的状态化模糊测试框架。Loris 采用迭代符号分析技术，逐步识别协议状态变量及其上的谓词，从而定义不同协议状态，同时缓解状态爆炸问题。这使得 Loris 能够对具有高漏洞潜力的程序区域进行定向探索和模糊测试。研究者在来自两家主流厂商的 5 款商用设备上评估了 Loris，覆盖 4G LTE 和 5G NR 两种制式，验证了其广泛适用性。测试共发现 7 个新漏洞，攻击者可通过空中接口利用这些漏洞，导致基带崩溃、远程代码执行或拒绝服务。该工作为基带固件安全测试提供了新思路，填补了状态化分析在闭源固件上的空白。