CoVFeFE: Collusion-Resilient Verifiable Computing Framework for Resource-Constrained Devices at Network Edge
Jianyu Wang, Abderrahmen Mtibaa · 2024
With the rapid growth of Internet of Vehicles (IoV) applications and the advancement of edge computing, resource-limited vehicles (and other IoT devices) increasingly rely on external servers to handle diverse and complex computational tasks. However, this dependence on external servers, which may be malicious or compromised, introduces significant security risks. Replication-based verifiable computing has been proposed as a solution to verify the accuracy of task results, but these approaches are vulnerable to collusion, where compromised servers return identical incorrect results to mislead the vehicle. Existing defenses against collusion either cannot ensure complete protection or become ineffective as the number of colluding servers rises. In this paper, we introduce CoVFeFE, a collusion-resilient verification framework designed to detect and mitigate collusion, even when the majority of servers are compromised. Our framework integrates a rapid detection mechanism that monitors computational conflicts, alongside a heuristic mitigation strategy that identifies and neutralizes colluding servers. Simu-lation results demonstrate that CoVFeFE outperforms existing solutions by successfully identifying all colluding servers, even when they constitute a majority > 50%) of the network.