CMU SEI Research Review 2021 Day 2 Artifacts
These presentations are from Day 2 of the 2021 SEI Research Review.
Abstract
This collection includes slides and videos from Day 2 of the 2021 SEI Research Review event. These sessions include presentations, lightning talks, and collaboration conversations. Day 2 sessions include Collaboration Conversation on Scalable Assurance of Safety-Critical Systems, Multicore Confidence, Rapid Certifiable Trust, Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems, Combined Analysis for Source Code and Binary Code for Software Assurance, Rapid Adjudication of Static Analysis Alerts During Continuous Integration, and Collaboration Conversation on Digital Engineering.
Collection Contents
-
Collaboration Conversation on Scalable Assurance of Safety-Critical Systems
November 7, 2021 • Presentation
By Sholom G. Cohen, Jerome Hugues, Sam Procter, Suzanne Miller
Learn how the SEI's Assuring Cyber-Physical Systems team working on model-based techniques to better describe, analyze, and assure systems.
read -
Multicore Confidence
November 7, 2021 • Presentation
By Björn Andersson
This SEI projects seeks to help organizations take better advantage of multicore processors by improving the confidence in computational timing.
read -
Rapid Certifiable Trust
November 7, 2021 • Presentation
By Dionisio de Niz
Rapid Certifiable Trust seeks to scale the use of formal verification to increase the speed of validation and, consequently, the speed of DoD capability fielding.
read -
Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems
November 7, 2021 • Presentation
By Amit Vasudevan
The project aims to achieve incremental and compositionally verifiable security for CHIC-centric Cyber Physical Systems (CPS).
read -
Combined Analysis for Source Code and Binary Code for Software Assurance
November 7, 2021 • Presentation
By William Klieber
This research highlight how to increase software assurance of binary components by analyzing and repairing functions.
read -
Rapid Adjudication of Static Analysis Alerts During Continuous Integration
November 7, 2021 • Presentation
By Lori Flynn
This project developed algorithms and a static analysis classification system for use with continuous integration, enabling more secure software with less effort.
read