Robustness Verification for Systems under Denial-of-Service Attacks
Abstract
In this project, we focus on DoS attacks to which wireless communication is more vulnerable. We intend to apply formal verication to provide system guarantees, even if there are DoS attacks. This is a fundamental problem as, if DoS attacks are inevitable, we can still guarantee that systems are suffciently robust to meet their requirements such as safety, stability, or performance.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Oct 20, 2022
- Source ID
- FA23861914037
Entities
People
- Chung-Wei Lin
Organizations
- Air Force Office of Scientific Research
- National Taiwan University
- United States Air Force