CAREER: Make Them Pay! Algorithms for Securing Wireless Systems

该奖项全部或部分由2021年美国救援计划法案（公法117-2）资助。无线系统通常由能量受限的设备组成，并且通信通过共享信道进行。这些特征使得此类系统特别容易受到干扰，从而对手破坏共享信道，迫使设备消耗大量能量以减轻攻击。这项研究的目标是设计和分析新的防御，是能源效率，同时仍然提供性能保证，对一个强大的干扰对手。这项研究的成果有可能保护系统免受这些攻击，其严重性可能会随着无线技术的不断采用而升级。该项目将其目标与密西西比州立大学的本科生和研究生的课程开发和研究机会相结合。该项目所采取的方法与之前的许多关于干扰缓解的工作不同，这些工作仅关注正确设备所产生的能量成本。在实践中，对抗设备也必须消耗能量来干扰信道，本研究的目的是设计利用这方面的防御措施。具体来说，该项目旨在开发算法，1）保证正确的设备可以在干扰的情况下完成计算任务，2）在没有攻击的情况下是节能的，3）当攻击正在进行时，相对于正确的设备，对对手施加渐进更高的成本;这种算法被称为资源竞争。从广义上讲，该项目侧重于通信和协调任务，这些任务是许多无线协议的基本构建块。通过提供这些任务的资源竞争力的待遇，这项研究解决了理论问题，有可能提高安全性的一系列applicationsThis奖项反映了NSF的法定使命，并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。

This award is funded in whole or in part under the American Rescue Plan Act of 2021 (Public Law 117-2).Wireless systems are often populated by energy-constrained devices, and communication occurs over a shared channel. These features make such systems especially vulnerable to jamming, whereby an adversary disrupts the shared channel, forcing devices to expend significant energy in order to mitigate the attack. The goal of this research is to design and analyze novel defenses that are energy-efficient, while still providing performance guarantees against a powerful jamming adversary. The outcomes of this research have the potential to secure systems against these attacks, whose severity is likely to escalate with the continued adoption of wireless technology. This project integrates its objectives with curriculum development and research opportunities for both undergraduate and graduate students at Mississippi State University. The approach taken by this project differs from much of the prior work on jamming mitigation, which has focused solely on the energy cost incurred by correct devices. In practice, adversarial devices must also expend energy to jam the channel, and the aim of this research is to design defenses that exploit this aspect. Specifically, this project aims to develop algorithms that 1) guarantee correct devices can accomplish computational tasks despite jamming, 2) are energy-efficient in the absence of attack, and 3) impose an asymptotically-higher cost on the adversary relative to the correct devices when an attack is underway; such algorithms are called resource-competitive. Broadly, this project focuses on communication and coordination tasks that serve as fundamental building blocks for many wireless protocols. By providing a resource-competitive treatment of these tasks, this research addresses theoretical problems that have the potential to improve the security for a range of applicationsThis award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.