Dealing with Verification Data Overload
Analyzes dealing with Verification Data Overload 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·23 min
Alexander Potapenko
Investigates dealing with Uninitialized Memory in the Kernel and evaluates key implications for security practitioners.
kerneldealinguninitialized+2
The Linux Foundation·33 min
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·1 hr 3 min
Craig Christianson · United States Air Force
Reviews modernizing Software Verification and evaluates key implications for security practitioners.
modernizingverificationmodernizing-software+1