LightFAt：通过基于PMU的轻量级控制流证明缓解控制流爆炸
密码学与安全
2024-04-05 v2
摘要
随着计算设备的不断演进，越来越多的应用程序被远程执行。这些应用程序运行在从低计算能力的物联网节点到高能力的大型云提供商的各种设备上。远程执行通常处理敏感数据或执行专有软件。因此，确保代码执行不会受到损害的挑战日益凸显。远程证明应对这一挑战。它通过计算一个可能很大的加密哈希值序列来确保代码在未受损的环境中执行。每次哈希计算都是计算密集型的，对于大序列，开销变得极高。在这项工作中，我们提出了LightFAt：一种轻量级控制流证明方案。LightFAt不依赖昂贵的加密哈希计算，而是利用处理器性能监控单元（PMU）的读数，结合轻量级无监督机器学习（ML）分类器，来检测目标应用程序的控制流是否受损，从而提高系统的安全性。在验证方，LightFAt的检测准确率超过95%，且假阴性和假阳性率较低。
引用
@article{arxiv.2404.02608,
title = {LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation},
author = {Jeferson Gonzalez-Gomez and Hassan Nassar and Lars Bauer and Jorg Henkel},
journal= {arXiv preprint arXiv:2404.02608},
year = {2024}
}
备注
This official version of this paper will appear in the 2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)