Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 10 of 106 results for Type - Video

Video | April 2018 - Video Using Game Theory to Improve Government Acquisition By William E. Novak

Our team is conducting research to describe and quantify the acquisition “game” being played using modeling and simulation to frame the misaligned incentives.

Video | March 2018 - Video Using Augmented Reality to See Real Opportunity By Josh Hammerstein

Our team is developing a new prototype tool to help soldiers identify and exploit cyber opportunities in the physical environment.

Video | February 2018 - Video SEI Cyber Minute: Safety-Critical Design by Shopping By Samuel Procter

Here at the Software Engineering Institute, we have created a new tool prototype that automatically explores a system's design trade space; that is, its possible combinations of system software, hardware, and configuration options.

Video | February 2018 - Video SEI Cyber Minute: Why Use Dynamic Design Analysis? By Rick Kazman

By considering dynamic information in conjunction with static information, we can precisely locate such design flaws, and determine the root causes of bugs more quickly.

Video | February 2018 - Video SEI Cyber Minute: Improving the State of Cyber Intelligence By Jared Ettinger

Good cyber intelligence practices—those that help you see the big picture—can prevent costly security breaches and help safeguard valuable assets and information.

Video | February 2018 - Video SEI Cyber Minute: SCALe By David Svoboda

The SEI Source Code Analysis Lab (SCALe) gives analysts the ability to focus on the most critical alerts from static analysis.

Video | January 2018 - Video SEI Cyber Minute: Safely Using IoT at the Edge By Grace Lewis

This research will help ensure the security and effectiveness of IoT devices in tactical environments.

Video | December 2017 - Video SEI Cyber Minute: Obsidian: A Safer Blockchain Language By Eliezer Kanal

By creating a secure-by-design language that renders certain types of bugs impossible to create, we aim to significantly reduce the risk inherent in the adoption of blockchain technology.

Video | December 2017 - Video SEI Cyber Minute: Preventing the Next Heartbleed By William Klieber

Watch Will Klieber in this SEI Cyber Minute as he discusses Inference of Memory Bounds: Preventing the Next Heartbleed.

Video | November 2017 - Video SEI Cyber Minute: Cybersecurity in the Defense Acquisition ... By Mark Sherman

Unfortunately, where there is software, there are risks from vulnerabilities. In response, the Department of Defense has recently expanded the key document governing acquisition, 5000.02.

Refine