《Electronics》：PrivFuzz: Privacy-Preserving Distributed Fuzzing for CPS-Facing Parsing Components on Untrusted Clients
编辑推荐：
信息物理系统（CPS）日益依赖复杂软件组件，其漏洞可能影响数字服务与物理过程。模糊测试是发现CPS相关解析器、协议处理器及边缘服务中此类漏洞的实用技术。分布式模糊测试可提升吞吐率，但将模糊任务外包给多个不可信节点会带来隐私风险：高价值种子（尤其是触发崩溃的样本
信息物理系统（CPS）日益依赖复杂软件组件，其漏洞可能影响数字服务与物理过程。模糊测试是发现CPS相关解析器、协议处理器及边缘服务中此类漏洞的实用技术。分布式模糊测试可提升吞吐率，但将模糊任务外包给多个不可信节点会带来隐私风险：高价值种子（尤其是触发崩溃的样本）可能在受影响用户被保护前泄露漏洞信息。研究人员提出PrivFuzz，一种隐私保护协同模糊测试框架，允许组织与个人在保持模糊种子机密性并实现不可信节点间受控加密种子复用的同时协作并获取奖励。其核心思想是结合可信执行环境（TEE）与基于区块链的智能合约以支持机密性与公平奖励结算。研究人员在经证明的执行模型下给出针对种子机密性、工作者健全性、外包者原子性及抗重复申领的基于博弈的定义与归约式论证。研究人员实现PrivFuzz原型并在四个开源解析目标上评估；另用原生AFL++健全性检查表明Modbus与OPC UA等CPS工业协议解析器属于同一可模糊目标域（端到端PrivFuzz在CPS控制程序上的演示留作未来工作）。借助PrivFuzz研究人员发现九个缺陷并报告给开发者。
研究背景方面，信息物理系统（Cyber–Physical Systems，CPS）涵盖工业控制系统、智能制造、网联车与智能物联网基础设施，其大量部署的工业协议解析器、边缘网关、数据转换器及控制支撑服务若存在漏洞，可从网络空间传播至物理过程，故高效漏洞发现是CPS安全保证的重要环节。模糊测试作为主流漏洞发掘手段，通过变异输入探索执行路径触发异常状态，并行化可提升固定时间预算内的执行次数与漏洞发现概率，谷歌与微软等提出的模糊即服务（Fuzzing-as-a-Service，FaaS）范式降低了多机分发负担，但该范式要求开发者信任云提供商与底层基础设施，好奇或被攻陷的云提供商可能在开发者修补前将零日漏洞变现。Fuzzing@Home首次尝试在不可信异构客户端上基于区块链激励实现协同模糊，但其依赖明文语料共享，崩溃样本或高信息量非崩溃种子遭恶意参与者获取后可短期复现漏洞，故种子集机密性必须保护。若仅用任务发布者公钥加密种子存链，则面临两重局限：其一，工作者与发布者间公平交换难达成，因种子密文下链外节点无法独立共识种子价值；其二，加密种子无法在节点间复用，浪费算力。为此研究人员构建PrivFuzz，一种不修改底层区块链共识、结合TEE与链上智能合约的隐私保护协同外包模糊框架，在保护高价值种子免泄露滥用的同时允许节点间加密种子复用，所有种子以密文存链、加解密变异消费均在链下enclave内完成，工作者无法触达明文。研究人员设计链下种子价值评估机制，工作者将新发现种子送入评估enclave生成不可伪造价值证明（绑定覆盖率贡献与崩溃难度），共识节点凭证明经智能合约透明定价并强制公平交换。在安全性论证上，研究人员在经远程证明的执行模型与区块链共识假设下，以博弈式定义与归约论证了种子机密性、工作者健全性、外包者原子性与抗重复申领四项性质，归约基础为证明完整性、加密安全性、哈希抗碰撞性与共识安全性。原型实现于Hyperledger Fabric，部署四个现实解析应用评估开销与同步行为，并用原生AFL++对Modbus/OPC UA做目标域健全性检查（非端到端评测），另在第二主机做微基准刻画各流水线组件、结算路径、libOS层与密码内核替代方案，匹配消融实验隔离加密种子复用的覆盖率效应，原型全流程跑通并发现九个缺陷报开发者。论文发表于《Electronics》。
关键技术方法上，研究人员采用Intel Software Guard Extensions（SGX）作为TEE，将AFL移植入enclave，以Occlum libOS提供多进程隔离，种子管理模块在enclave内存解密、变异、重加密以避免频繁OCall；链上层用Hyperledger Fabric运行任务管理合约（TM-Contract）与工作变现合约（WM-Contract），前者处理RegisterTask/JoinTask/QuitTask/RevokeTask，后者验证enclave远程证明报价（quote）并原子化存密文种子与转奖励；价值评估enclave内用afl-cov生成覆盖率位图、用AddressSanitizer报造崩溃签名，对全局覆盖率摘要与已提交崩溃签名集做差量计费；密钥经远程证明后由外包者经安全信道送入enclave；评估目标为Gpac、Radare2、Chafa、Libmobi四个开源解析项目，Modbus与OPC UA仅做原生AFL++健全性检查不在SGX内跑。微基准另用SEAL BFV与MP-SPDZ semi2k/spdz2k对比同态加密与多方计算替代内核。
研究结果部分，第六章Results and Discussion显示：TEE开销上，单主机SGX相对非SGX配置引入约40%执行率下降，因原型走SGX/libOS路径且保留评估流水线，属配置级比较而非纯硬件开销。可扩展性上，5/10/15节点下边缘覆盖率随节点数非递减，但原实验未做重复显著性检验，仅作经验观察。同步间隔上，10节点在实时同步（Fuzzing@Home式）最优，30/60/120分钟周期同步差距小，周期同步被视作工程折中。组件级微基准表明覆盖率新颖性检查（bitmap novelty）占软件预算主导（单次233.3微秒，是AES-256-GCM封装4.4微秒与SHA-256证明3.6微秒的50倍以上），故该内核在TEE内每种子仅算一次；密码封装与摘要可无条件保留；Fabric真实提交批32耗时约2.03秒，其中99.5%为排序服务2秒出块等待，但该等待异步于模糊主循环，批提交使账本不占关键路径。libOS仿真层（Occlum 0.31.0 simulation）相对同容器musl原生二进制仅慢约1.8%，不代表SGX硬件隔离成本。密码内核替代上，原生新颖性内核0.0004微秒/位，SEAL BFV 6.8–13.9微秒/位，semi2k 8.9–11.9微秒/位，spdz2k 120–165微秒/位，HE/MPC高四至五数量级，故仅作概念替代后端。结算成本讨论指出用Fabric免gas计量，主要成本为远程证明、WM-Contract验证明与出块确认延迟。消融实验（libmobi与radare2，各条件10对重复）表明：libmobi下有共享相对独立基线边缘覆盖从2303升至明文2350.5/加密2360.5/加密加Fabric结算2367.0（Wilcoxon p<0.05），加密与明文共享增益无统计差异，Fabric批结算相对加密共享亦无退化；radare2进入饱和态（约82000边）各条件差≤1.5%不显著。结论为存在覆盖率余量时加密种子复用与明文共享增益相当，隐私机制不削增益，饱和目标下共享无益无害。局限性一节指明：分析基于无侧信道SGX模型，不含回滚、DoS、证明服务被陷、enclave/合约/工具链漏洞；模糊本身侧信道敏感，需 oblivious 更新等未来工作；原型仅四解析目标，CPS协议解析器仅原生AFL++健全性检查未端到端；奖励策略与崩溃签名函数可能引发覆盖农耕与语义合并误计；元数据如任务存在、密文长度、同步时机仍暴露。
讨论与结论翻译：研究人员提出PrivFuzz，一种受CPS相关解析组件在不可信参与者上外包模糊启发的机密协同模糊框架。PrivFuzz利用TEE做机密模糊、利用智能合约做公平工作变现，其价值证明机制使种子价值可公开验证而不披露明文。在所述的无需侧信道SGX、经审计工具链与共识假设下，基于博弈的分析支持种子机密性、工作者健全性、外包者原子性与抗重复申领。基于Hyperledger Fabric的实现与四个开源项目的评估表明该协议可实例化为工作原型，并能在保护高价值种子的同时支持真实缺陷发现。组件隔离微基准（流水线消融、结算分解、libOS软件路径、HE/MPC内核直比）与匹配种子共享消融共同量化了设计的软件成本与加密种子复用的覆盖率级收益。硬件模式SGX表征与端到端数字孪生集成留作未来工作。
