icon-carat-right menu search cmu-wordmark

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.