Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems

November 4, 2021 • Video

By

Amit Vasudevan

This short video provides an introduction to a research topic presented at the SEI Research Review 2021.

Publisher

Software Engineering Institute

Subjects

Research Review

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.

Software Engineering Institute