File
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on June 9th, 2021
File
CAREER: Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on June 9th, 2021
File
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on June 9th, 2021
File
CPS: Medium: A Unified Framework for IoT Privacy
(Co-PI),
Hossein Pishro-Nik Submitted by Hossein Pishro-Nik on June 9th, 2021
File
CPS: Medium: Rethinking Communication and Control for Low-Latency, High Reliability loT Devices
Submitted by Anonymous on June 9th, 2021
File
CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
Submitted by Pierluigi Nuzzo on June 9th, 2021
File
CPS: Small: Real-time spatial audio on the Internet of Things
Submitted by Anonymous on June 9th, 2021
File
CPS:Small: Syntax-Guided Synthesis for Cyber-Physical Systems
Submitted by Anonymous on June 9th, 2021
File
CPS: Medium: Secure Computing and Cross-Layer Anomaly Detection in the Internet of Things
Submitted by Anonymous on June 9th, 2021
File
CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on June 9th, 2021
Subscribe to Verification and IoT