Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems
• Video
This short video provides an introduction to a research topic presented at the SEI Research Review 2021.
Publisher
Software Engineering Institute
Topic or Tag
Watch
Abstract
Dr. Amit Vasudevan previews the CMU SEI Research Review 2021 presentation on Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems. The full presentation will be broadcast to registered attendees on Tuesday, November 9, 2021 at 1:30 PM ET. Visit https://resources.sei.cmu.edu/news-events/events/research-review/index.cfm to register for the November 8-10, 2021 event.
Subscribe
Part of a Collection
CMU SEI Research Review 2021 Preview Videos