本文提出 LogicFuzz，据作者称这是首个专门针对可编程逻辑控制器（PLC）固件中逻辑指令库进行模糊测试的框架。PLC 广泛用于工业自动化，其逻辑指令库由供应商提供并编译进设备固件，若存在安全缺陷，可能被物理控制程序、网络服务或运行时子系统利用，导致权限绕过、内存破坏或数据泄露。现有模糊测试方法多关注协议或通用固件，难以有效覆盖 PLC 指令的语义依赖和触发条件。LogicFuzz 的核心创新在于构建语义依赖图（SDG），该图同时刻画 PLC 指令的操作语义和指令间依赖关系。结合使能信号（enable-signal）机制，LogicFuzz 能够自动合成针对特定指令的种子程序，显著减少人工构造测试用例的工作量，并支持在真实 PLC 硬件上进行可控、可重置的模糊测试。为了发现由控制流触发（即调用模式）的缺陷，LogicFuzz 通过变异 SDG 来多样化指令调用上下文；为了暴露由数据触发的故障，则在有效语义约束下进行覆盖率引导的参数变异。此外，LogicFuzz 集成了多源 oracle，通过监控运行时日志、状态 LED 和通信状态来检测模糊测试过程中指令级别的异常。作者在来自三家主要厂商的六台生产型 PLC 上进行了评估，共发现 19 个指令级缺陷，其中包含 4 个先前未知的漏洞。该研究对 PLC 安全测试、工业控制系统安全研究以及固件漏洞挖掘具有参考价值。适合关注 ICS/SCADA 安全、模糊测试方法、PLC 固件分析的读者阅读。

该论文对工业控制系统中可编程逻辑控制器（PLC）的专有认证协议进行了实证研究。PLC被广泛用于核电站、电网、天然气管道等关键基础设施的物理过程控制，其控制逻辑是攻击者的主要目标。研究选取了来自Allen-Bradley、Schneider Electric、AutomationDirect和Siemens这四家主流ICS厂商的五种工业级PLC，通过仅分析网络流量（而非逆向固件）的方式，评估其认证机制是否存在设计缺陷和可利用漏洞。研究发现多款PLC的认证协议存在严重问题，包括缺乏随机数（nonce）、加密密钥过短、加密方案薄弱以及客户端认证等漏洞。研究团队基于MITRE ATT&CK知识库构建了概念验证（PoC）利用代码，并通过实验验证了这些漏洞的可利用性。该工作揭示了PLC认证安全设计中存在的行业普遍性问题，强调了改进必要。适合ICS安全研究人员、PLC制造商和关键基础设施运营者阅读。

本论文针对工业控制系统（ICS）中的可编程逻辑控制器（PLC）内存安全展开研究。PLC作为工业自动化的核心组件，其运行稳定性直接关系到生产安全。作者发现，通过精心构造的网络报文或本地攻击，攻击者能够操纵PLC的内存空间，导致控制器进入异常状态甚至完全停机。研究团队深入分析了多种主流PLC的内存管理机制，识别出若干可被利用的漏洞模式，包括缓冲区溢出、内存访问越界以及状态寄存器篡改等。他们设计了一套攻击向量，并在一组真实PLC设备上进行了实验验证。实验结果表明，攻击能够在数秒内导致PLC进程挂起或重启，且无需高级权限。这项工作不仅揭示了PLC内存安全中未被充分重视的攻击面，还提出了针对性的内存完整性检测方法，为工控系统防御者提供了新的预警和加固思路。

本文提出了一种通过状态机恢复技术发现可编程逻辑控制器（PLC）二进制程序中盲目信任漏洞的方法。PLC广泛应用于工业控制系统，其固件中常存在对输入数据缺乏充分校验的逻辑缺陷，导致攻击者可以通过精心构造的输入触发异常行为。现有静态分析工具难以有效识别这类漏洞，因为它们需要理解PLC程序的状态演化逻辑。作者设计了一套针对PLC二进制指令集的中间表示（IR），并实现了状态机自动提取算法，能够从二进制代码中恢复出PLC控制逻辑的状态转换图。在此基础上，他们定义了“盲目信任”漏洞模式：即状态机中某些状态无条件信任输入数据而未进行合法性检查。该方法在9款主流PLC型号的固件中进行了测试，发现了22个先前未知的漏洞，其中12个被确认具有实际可利用性。实验结果表明，该技术能够有效发现传统方法遗漏的安全缺陷，且误报率较低。论文还讨论了这些漏洞可能导致的后果，如非预期输出、系统死锁或物理设备损坏。该研究为工控系统安全分析提供了新视角，有助于提升PLC固件的安全性。