| Neurosymbolic Autonomous Agents for Cyber-Defense |
|
| 2024 Q1 |
|
| 2024 Q2 |
|
| Toward Resilient Monitoring and Control of Distributed Cyber-Physical Systems |
|
| System Science of SecUrity and Resilience for Cyber-Physical Systems (SURE) |
|
| System Science of SecUrity and REsilience for Cyber-Physical Systems (SURE) |
|
| Integrity Assurance in Resource-Bounded Systems through Stochastic Message Authentication |
|
| Science of Security Lablet at Vanderbilt University |
|