KS-CFA: Control-Flow Attestation via Symbolic Replay Against Control-Flow Bending Attacks
控制流认证（CFA）允许远程验证者在目标设备上通过监控运行时控制流行为来验证程序执行。然而，控制流弯曲（CFB）攻击通过破坏分支标志、循环计数器等运行时数据，使攻击者能够沿着程序控制流图的合法边执行，此类攻击难以检测。现有解决方案存在显著缺
#symbolic execution
共收录 1 条相关情报。
← 返回所有主题