Modernizing Software Verification

Craig ChristiansonUnited States Air Force

Blue TeamThe Linux Foundation1 hr 3 minOpen on YouTube ↗

Reviews modernizing Software Verification and evaluates key implications for security practitioners.

Summary

No summary yet — watch the video above, or open it on YouTube.

Related talks

The Linux Foundation·33 min

LINUX FOUNDATION
Blue Team
Date: 2025
Location: Linux Foundation

Verification Toward Applying SLSA in Automotive IVI Software... Yuta Kiyoumi & Takashi Ninjouji

Presents verification Toward Applying SLSA in Automotive IVI Software... Yuta Kiyoumi & Takashi Ninjouji and evaluates key implications for security practitioners.

automotiveverificationapplying+1

The Linux Foundation·28 min

LINUX FOUNDATION
Blue Team
Date: 2025
Location: Linux Foundation

LLVM improvements for better verification (Alan Jowett)

Evaluates LLVM improvements for better verification (Alan Jowett) and evaluates key implications for security practitioners.

llvmimprovementverification+1

The Linux Foundation·36 min

LINUX FOUNDATION
Blue Team
Date: 2025
Location: Linux Foundation

Modernizing Accessibility for Desktop Linux

Matt Campbell · GNOME Foundation

Investigates modernizing Accessibility for Desktop Linux and evaluates key implications for security practitioners.

linuxmodernizingaccessibility+2